0.00/0.26	NO
0.00/0.26	
0.00/0.26	
0.00/0.26	The system was reversed.
0.00/0.26	
0.00/0.26	Remains to prove termination of the 2-rule system
0.00/0.26	{ c b -> b b a ,
0.00/0.26	  a b -> b c a }
0.00/0.26	
0.00/0.26	
0.00/0.26	Loop of length 10 starting with a string of length 6 using right expansion
0.00/0.26	and the encoding {a=c, b=b, c=a}:
0.00/0.26	
0.00/0.26	.ab.bbbb
0.00/0.26		rule ab -> bbc at position 0
0.00/0.26	.bbc.bbbb
0.00/0.26		rule cb -> bac at position 2
0.00/0.26	.bbbac.bbb
0.00/0.26		rule cb -> bac at position 4
0.00/0.26	.bbbabac.bb
0.00/0.26		rule cb -> bac at position 6
0.00/0.26	.bbbababac.b
0.00/0.26		rule ab -> bbc at position 5
0.00/0.26	.bbbabbbcac.b
0.00/0.26		rule cb -> bac at position 9
0.00/0.26	.bbbabbbcabac.
0.00/0.26		rule ab -> bbc at position 8
0.00/0.26	.bbbabbbcbbcac.
0.00/0.26		rule cb -> bac at position 7
0.00/0.26	.bbbabbbbacbcac.
0.00/0.26		rule cb -> bac at position 9
0.00/0.26	.bbbabbbbabaccac.
0.00/0.26		rule ab -> bbc at position 8
0.00/0.26	.bbbabbbbbbcaccac.
0.00/0.30	EOF