0.00/0.25	NO
0.00/0.25	
0.00/0.25	
0.00/0.25	The system was reversed.
0.00/0.25	
0.00/0.25	Remains to prove termination of the 1-rule system
0.00/0.25	{ a b a b c -> c b c b a b a b a }
0.00/0.25	
0.00/0.25	
0.00/0.25	Loop of length 4 starting with a string of length 11 using right expansion
0.00/0.25	and the encoding {a=a, b=b, c=c}:
0.00/0.25	
0.00/0.25	.ababc.babcbc
0.00/0.25		rule ababc -> cbcbababa at position 0
0.00/0.25	.cbcbababa.babcbc
0.00/0.25		rule ababc -> cbcbababa at position 8
0.00/0.25	.cbcbababcbcbababa.bc
0.00/0.25		rule ababc -> cbcbababa at position 4
0.00/0.25	.cbcbcbcbabababcbababa.bc
0.00/0.25		rule ababc -> cbcbababa at position 18
0.00/0.25	.cbcbcbcbabababcbabcbcbababa.
0.00/0.29	EOF