0.00/0.34	NO
0.00/0.35	
0.00/0.35	
0.00/0.35	The system was reversed.
0.00/0.35	
0.00/0.35	Remains to prove termination of the 1-rule system
0.00/0.35	{ a a b a b a b -> a b a b a b a b a a a a }
0.00/0.35	
0.00/0.35	
0.00/0.35	Loop of length 22 starting with a string of length 25 using right expansion
0.00/0.35	and the encoding {a=a, b=b}:
0.00/0.35	
0.00/0.35	.aababab.ababababababababab
0.00/0.35		rule aababab -> ababababaaaa at position 0
0.00/0.35	.ababababaaaa.ababababababababab
0.00/0.35		rule aababab -> ababababaaaa at position 11
0.00/0.35	.ababababaaaababababaaaa.abababababab
0.00/0.35		rule aababab -> ababababaaaa at position 22
0.00/0.35	.ababababaaaababababaaaababababaaaa.ababab
0.00/0.35		rule aababab -> ababababaaaa at position 21
0.00/0.35	.ababababaaaababababaaababababaaaaabaaaa.ababab
0.00/0.35		rule aababab -> ababababaaaa at position 20
0.00/0.35	.ababababaaaababababaababababaaaaabaaaaabaaaa.ababab
0.00/0.35		rule aababab -> ababababaaaa at position 19
0.00/0.35	.ababababaaaababababababababaaaaabaaaaabaaaaabaaaa.ababab
0.00/0.35		rule aababab -> ababababaaaa at position 48
0.00/0.35	.ababababaaaababababababababaaaaabaaaaabaaaaabaaaababababaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 47
0.00/0.35	.ababababaaaababababababababaaaaabaaaaabaaaaabaaababababaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 46
0.00/0.35	.ababababaaaababababababababaaaaabaaaaabaaaaabaababababaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 45
0.00/0.35	.ababababaaaababababababababaaaaabaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 42
0.00/0.35	.ababababaaaababababababababaaaaabaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 41
0.00/0.35	.ababababaaaababababababababaaaaabaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 40
0.00/0.35	.ababababaaaababababababababaaaaabaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 39
0.00/0.35	.ababababaaaababababababababaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 36
0.00/0.35	.ababababaaaababababababababaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 35
0.00/0.35	.ababababaaaababababababababaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 34
0.00/0.35	.ababababaaaababababababababaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 33
0.00/0.35	.ababababaaaababababababababaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 30
0.00/0.35	.ababababaaaababababababababaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 29
0.00/0.35	.ababababaaaababababababababaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 28
0.00/0.35	.ababababaaaababababababababaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.35		rule aababab -> ababababaaaa at position 27
0.00/0.35	.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa.
0.00/0.38	EOF