0.00/0.30	NO
0.00/0.30	
0.00/0.30	
0.00/0.30	The system was reversed.
0.00/0.30	
0.00/0.30	Remains to prove termination of the 3-rule system
0.00/0.30	{ a -> c b ,
0.00/0.30	  b b a -> a a a c ,
0.00/0.30	  c c -> }
0.00/0.30	
0.00/0.30	
0.00/0.30	Loop of length 17 starting with a string of length 9 using right expansion
0.00/0.30	and the encoding {a=a, b=c, c=b}:
0.00/0.30	
0.00/0.30	.a.cabcabca
0.00/0.30		rule a -> bc at position 0
0.00/0.30	.bc.cabcabca
0.00/0.30		rule cca -> aaab at position 1
0.00/0.30	.baaab.bcabca
0.00/0.30		rule a -> bc at position 2
0.00/0.30	.babcab.bcabca
0.00/0.30		rule a -> bc at position 4
0.00/0.30	.babcbcb.bcabca
0.00/0.30		rule bb ->  at position 6
0.00/0.30	.babcbc.cabca
0.00/0.30		rule cca -> aaab at position 5
0.00/0.30	.babcbaaab.bca
0.00/0.30		rule a -> bc at position 5
0.00/0.30	.babcbbcaab.bca
0.00/0.30		rule bb ->  at position 4
0.00/0.30	.babccaab.bca
0.00/0.30		rule cca -> aaab at position 3
0.00/0.30	.babaaabab.bca
0.00/0.30		rule a -> bc at position 3
0.00/0.30	.babbcaabab.bca
0.00/0.30		rule bb ->  at position 2
0.00/0.30	.bacaabab.bca
0.00/0.30		rule a -> bc at position 4
0.00/0.30	.bacabcbab.bca
0.00/0.30		rule a -> bc at position 7
0.00/0.30	.bacabcbbcb.bca
0.00/0.30		rule bb ->  at position 6
0.00/0.30	.bacabccb.bca
0.00/0.30		rule bb ->  at position 7
0.00/0.30	.bacabcc.ca
0.00/0.30		rule cca -> aaab at position 6
0.00/0.30	.bacabcaaab.
0.00/0.30		rule a -> bc at position 7
0.00/0.30	.bacabcabcab.
0.00/0.35	EOF