0.00/0.47	NO
0.00/0.48	
0.00/0.48	
0.00/0.48	The system was reversed.
0.00/0.48	
0.00/0.48	Remains to prove termination of the 4-rule system
0.00/0.48	{ a -> ,
0.00/0.48	  a -> b ,
0.00/0.48	  c b a -> a a b c c ,
0.00/0.48	  c -> }
0.00/0.48	
0.00/0.48	
0.00/0.48	Loop of length 11 starting with a string of length 8 using right expansion
0.00/0.48	and the encoding {a=a, b=b, c=c}:
0.00/0.48	
0.00/0.48	.cba.babaa
0.00/0.48		rule cba -> aabcc at position 0
0.00/0.48	.aabcc.babaa
0.00/0.48		rule cba -> aabcc at position 4
0.00/0.48	.aabcaabcc.baa
0.00/0.48		rule a -> b at position 4
0.00/0.48	.aabcbabcc.baa
0.00/0.48		rule cba -> aabcc at position 8
0.00/0.48	.aabcbabcaabcc.a
0.00/0.48		rule a -> b at position 8
0.00/0.48	.aabcbabcbabcc.a
0.00/0.48		rule cba -> aabcc at position 7
0.00/0.48	.aabcbabaabccbcc.a
0.00/0.48		rule a ->  at position 7
0.00/0.48	.aabcbababccbcc.a
0.00/0.48		rule c ->  at position 9
0.00/0.48	.aabcbababcbcc.a
0.00/0.48		rule c ->  at position 11
0.00/0.48	.aabcbababcbc.a
0.00/0.48		rule c ->  at position 11
0.00/0.48	.aabcbababcb.a
0.00/0.48		rule cba -> aabcc at position 9
0.00/0.48	.aabcbababaabcc.
0.00/0.51	EOF