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 2-rule system
0.00/0.30	{ b a a -> a a a c c a ,
0.00/0.30	  c a -> b }
0.00/0.30	
0.00/0.30	
0.00/0.30	Loop of length 16 starting with a string of length 9 using right expansion
0.00/0.30	and the encoding {a=b, b=a, c=c}:
0.00/0.30	
0.00/0.30	.abb.bbbbbb
0.00/0.30		rule abb -> bbbccb at position 0
0.00/0.30	.bbbccb.bbbbbb
0.00/0.30		rule cb -> a at position 4
0.00/0.30	.bbbca.bbbbbb
0.00/0.30		rule abb -> bbbccb at position 4
0.00/0.30	.bbbcbbbccb.bbbb
0.00/0.30		rule cb -> a at position 3
0.00/0.30	.bbbabbccb.bbbb
0.00/0.30		rule cb -> a at position 7
0.00/0.30	.bbbabbca.bbbb
0.00/0.30		rule abb -> bbbccb at position 7
0.00/0.30	.bbbabbcbbbccb.bb
0.00/0.30		rule cb -> a at position 6
0.00/0.30	.bbbabbabbccb.bb
0.00/0.30		rule abb -> bbbccb at position 6
0.00/0.30	.bbbabbbbbccbccb.bb
0.00/0.30		rule cb -> a at position 10
0.00/0.30	.bbbabbbbbcaccb.bb
0.00/0.30		rule cb -> a at position 12
0.00/0.30	.bbbabbbbbcaca.bb
0.00/0.30		rule abb -> bbbccb at position 12
0.00/0.30	.bbbabbbbbcacbbbccb.
0.00/0.30		rule cb -> a at position 11
0.00/0.30	.bbbabbbbbcaabbccb.
0.00/0.30		rule abb -> bbbccb at position 11
0.00/0.30	.bbbabbbbbcabbbccbccb.
0.00/0.30		rule abb -> bbbccb at position 10
0.00/0.30	.bbbabbbbbcbbbccbbccbccb.
0.00/0.30		rule cb -> a at position 9
0.00/0.30	.bbbabbbbbabbccbbccbccb.
0.00/0.30		rule abb -> bbbccb at position 9
0.00/0.30	.bbbabbbbbbbbccbccbbccbccb.
0.00/0.32	EOF