2.48/0.87	NO
2.48/0.87	
2.48/0.87	
2.48/0.87	The system was reversed.
2.48/0.87	
2.48/0.87	Remains to prove termination of the 1-rule system
2.48/0.87	{ a a b a b a b -> a b a b a b a b a a a a a a }
2.48/0.87	
2.48/0.87	
2.48/0.87	Loop of length 44 starting with a string of length 25 using right expansion
2.48/0.87	and the encoding {a=a, b=b}:
2.48/0.87	
2.48/0.87	.aababab.ababababababababab
2.48/0.87		rule aababab -> ababababaaaaaa at position 0
2.48/0.87	.ababababaaaaaa.ababababababababab
2.48/0.87		rule aababab -> ababababaaaaaa at position 13
2.48/0.87	.ababababaaaaaababababaaaaaa.abababababab
2.48/0.87		rule aababab -> ababababaaaaaa at position 26
2.48/0.87	.ababababaaaaaababababaaaaaababababaaaaaa.ababab
2.48/0.87		rule aababab -> ababababaaaaaa at position 25
2.48/0.87	.ababababaaaaaababababaaaaababababaaaaaaabaaaaaa.ababab
2.48/0.87		rule aababab -> ababababaaaaaa at position 24
2.48/0.87	.ababababaaaaaababababaaaababababaaaaaaabaaaaaaabaaaaaa.ababab
2.48/0.87		rule aababab -> ababababaaaaaa at position 23
2.48/0.87	.ababababaaaaaababababaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaa.ababab
2.48/0.87		rule aababab -> ababababaaaaaa at position 22
2.48/0.87	.ababababaaaaaababababaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.ababab
2.48/0.87		rule aababab -> ababababaaaaaa at position 21
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.ababab
2.48/0.87		rule aababab -> ababababaaaaaa at position 74
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaababababaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 73
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 72
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 71
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 70
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 69
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 66
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 65
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 64
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 63
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 62
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 61
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 58
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 57
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 56
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 55
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 54
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 53
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 50
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 49
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 48
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 47
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 46
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 45
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 42
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 41
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 40
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 39
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 38
2.48/0.87	.ababababaaaaaababababababababaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 37
2.48/0.87	.ababababaaaaaababababababababaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 34
2.48/0.87	.ababababaaaaaababababababababaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 33
2.48/0.87	.ababababaaaaaababababababababaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 32
2.48/0.87	.ababababaaaaaababababababababaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 31
2.48/0.87	.ababababaaaaaababababababababaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 30
2.48/0.87	.ababababaaaaaababababababababaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.87		rule aababab -> ababababaaaaaa at position 29
2.48/0.87	.ababababaaaaaababababababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
2.48/0.90	EOF