0.00/0.51	NO
0.00/0.51	
0.00/0.51	
0.00/0.51	The system was reversed.
0.00/0.51	
0.00/0.51	Remains to prove termination of the 1-rule system
0.00/0.51	{ a a b a b a b -> a b a b a b a b a a a a a }
0.00/0.51	
0.00/0.51	
0.00/0.51	Loop of length 32 starting with a string of length 25 using right expansion
0.00/0.51	and the encoding {a=a, b=b}:
0.00/0.51	
0.00/0.51	.aababab.ababababababababab
0.00/0.51		rule aababab -> ababababaaaaa at position 0
0.00/0.51	.ababababaaaaa.ababababababababab
0.00/0.51		rule aababab -> ababababaaaaa at position 12
0.00/0.51	.ababababaaaaababababaaaaa.abababababab
0.00/0.51		rule aababab -> ababababaaaaa at position 24
0.00/0.51	.ababababaaaaababababaaaaababababaaaaa.ababab
0.00/0.51		rule aababab -> ababababaaaaa at position 23
0.00/0.51	.ababababaaaaababababaaaababababaaaaaabaaaaa.ababab
0.00/0.51		rule aababab -> ababababaaaaa at position 22
0.00/0.51	.ababababaaaaababababaaababababaaaaaabaaaaaabaaaaa.ababab
0.00/0.51		rule aababab -> ababababaaaaa at position 21
0.00/0.51	.ababababaaaaababababaababababaaaaaabaaaaaabaaaaaabaaaaa.ababab
0.00/0.51		rule aababab -> ababababaaaaa at position 20
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.ababab
0.00/0.51		rule aababab -> ababababaaaaa at position 60
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaababababaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 59
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaaababababaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 58
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaababababaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 57
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabaababababaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 56
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaaabababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 53
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaaababababaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 52
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaaababababaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 51
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaaababababaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 50
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabaababababaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 49
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaaabababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 46
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaaababababaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 45
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaaababababaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 44
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaaababababaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 43
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabaababababaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 42
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaaabababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 39
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaaababababaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 38
0.00/0.51	.ababababaaaaababababababababaaaaaabaaaababababaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 37
0.00/0.51	.ababababaaaaababababababababaaaaaabaaababababaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 36
0.00/0.51	.ababababaaaaababababababababaaaaaabaababababaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 35
0.00/0.51	.ababababaaaaababababababababaaaaaabababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 32
0.00/0.51	.ababababaaaaababababababababaaaaababababaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 31
0.00/0.51	.ababababaaaaababababababababaaaababababaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 30
0.00/0.51	.ababababaaaaababababababababaaababababaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 29
0.00/0.51	.ababababaaaaababababababababaababababaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.51		rule aababab -> ababababaaaaa at position 28
0.00/0.51	.ababababaaaaababababababababababababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaaababaaaaaabaaaaaabaaaaaabaaaaaabaaaaa.
0.00/0.55	EOF