0.00/0.41	NO
0.00/0.41	
0.00/0.41	
0.00/0.41	The system was reversed.
0.00/0.41	
0.00/0.41	Remains to prove termination of the 3-rule system
0.00/0.41	{ a -> b ,
0.00/0.41	  c b a -> a a b c c ,
0.00/0.41	  c c -> }
0.00/0.41	
0.00/0.41	
0.00/0.41	Loop of length 14 starting with a string of length 8 using right expansion
0.00/0.41	and the encoding {a=a, b=b, c=c}:
0.00/0.41	
0.00/0.41	.cba.babaa
0.00/0.41		rule cba -> aabcc at position 0
0.00/0.41	.aabcc.babaa
0.00/0.41		rule cba -> aabcc at position 4
0.00/0.41	.aabcaabcc.baa
0.00/0.41		rule a -> b at position 4
0.00/0.41	.aabcbabcc.baa
0.00/0.41		rule cba -> aabcc at position 3
0.00/0.41	.aabaabccbcc.baa
0.00/0.41		rule cba -> aabcc at position 10
0.00/0.41	.aabaabccbcaabcc.a
0.00/0.41		rule a -> b at position 10
0.00/0.41	.aabaabccbcbabcc.a
0.00/0.41		rule cba -> aabcc at position 9
0.00/0.41	.aabaabccbaabccbcc.a
0.00/0.41		rule cba -> aabcc at position 7
0.00/0.41	.aabaabcaabccabccbcc.a
0.00/0.41		rule a -> b at position 7
0.00/0.41	.aabaabcbabccabccbcc.a
0.00/0.41		rule cc ->  at position 10
0.00/0.41	.aabaabcbababccbcc.a
0.00/0.41		rule cc ->  at position 15
0.00/0.41	.aabaabcbababccb.a
0.00/0.41		rule cba -> aabcc at position 13
0.00/0.41	.aabaabcbababcaabcc.
0.00/0.41		rule a -> b at position 13
0.00/0.41	.aabaabcbababcbabcc.
0.00/0.41		rule cba -> aabcc at position 12
0.00/0.41	.aabaabcbababaabccbcc.
0.00/0.44	EOF