0.00/0.30	NO
0.00/0.31	
0.00/0.31	
0.00/0.31	The system was reversed.
0.00/0.31	
0.00/0.31	Remains to prove termination of the 3-rule system
0.00/0.31	{ a -> ,
0.00/0.31	  b a -> c a c b b ,
0.00/0.31	  c c -> a b }
0.00/0.31	
0.00/0.31	
0.00/0.31	Loop of length 23 starting with a string of length 4 using right expansion
0.00/0.31	and the encoding {a=a, b=b, c=c}:
0.00/0.31	
0.00/0.31	.ba.aa
0.00/0.31		rule ba -> cacbb at position 0
0.00/0.31	.cacbb.aa
0.00/0.31		rule ba -> cacbb at position 4
0.00/0.31	.cacbcacbb.a
0.00/0.31		rule a ->  at position 5
0.00/0.31	.cacbccbb.a
0.00/0.31		rule cc -> ab at position 4
0.00/0.31	.cacbabbb.a
0.00/0.31		rule ba -> cacbb at position 3
0.00/0.31	.caccacbbbbb.a
0.00/0.31		rule cc -> ab at position 2
0.00/0.31	.caabacbbbbb.a
0.00/0.31		rule ba -> cacbb at position 10
0.00/0.31	.caabacbbbbcacbb.
0.00/0.31		rule a ->  at position 11
0.00/0.31	.caabacbbbbccbb.
0.00/0.31		rule cc -> ab at position 10
0.00/0.31	.caabacbbbbabbb.
0.00/0.31		rule ba -> cacbb at position 9
0.00/0.31	.caabacbbbcacbbbbb.
0.00/0.31		rule a ->  at position 10
0.00/0.31	.caabacbbbccbbbbb.
0.00/0.31		rule cc -> ab at position 9
0.00/0.31	.caabacbbbabbbbbb.
0.00/0.31		rule ba -> cacbb at position 8
0.00/0.31	.caabacbbcacbbbbbbbb.
0.00/0.31		rule a ->  at position 9
0.00/0.31	.caabacbbccbbbbbbbb.
0.00/0.31		rule cc -> ab at position 8
0.00/0.31	.caabacbbabbbbbbbbb.
0.00/0.31		rule ba -> cacbb at position 7
0.00/0.31	.caabacbcacbbbbbbbbbbb.
0.00/0.31		rule a ->  at position 8
0.00/0.31	.caabacbccbbbbbbbbbbb.
0.00/0.31		rule cc -> ab at position 7
0.00/0.31	.caabacbabbbbbbbbbbbb.
0.00/0.31		rule ba -> cacbb at position 6
0.00/0.31	.caabaccacbbbbbbbbbbbbbb.
0.00/0.31		rule cc -> ab at position 5
0.00/0.31	.caabaabacbbbbbbbbbbbbbb.
0.00/0.31		rule ba -> cacbb at position 6
0.00/0.31	.caabaacacbbcbbbbbbbbbbbbbb.
0.00/0.31		rule a ->  at position 7
0.00/0.31	.caabaaccbbcbbbbbbbbbbbbbb.
0.00/0.31		rule cc -> ab at position 6
0.00/0.31	.caabaaabbbcbbbbbbbbbbbbbb.
0.00/0.34	EOF