0.00/0.65	NO
0.00/0.66	
0.00/0.66	
0.00/0.66	The system was reversed.
0.00/0.66	
0.00/0.66	Remains to prove termination of the 2-rule system
0.00/0.66	{ a -> b ,
0.00/0.66	  c a b b -> a b a c c a }
0.00/0.66	
0.00/0.66	
0.00/0.66	Loop of length 17 starting with a string of length 10 using right expansion
0.00/0.66	and the encoding {a=a, b=b, c=c}:
0.00/0.66	
0.00/0.66	.cabb.bbbbbb
0.00/0.66		rule cabb -> abacca at position 0
0.00/0.66	.abacca.bbbbbb
0.00/0.66		rule cabb -> abacca at position 4
0.00/0.66	.abacabacca.bbbb
0.00/0.66		rule a -> b at position 6
0.00/0.66	.abacabbcca.bbbb
0.00/0.66		rule cabb -> abacca at position 8
0.00/0.66	.abacabbcabacca.bb
0.00/0.66		rule a -> b at position 10
0.00/0.66	.abacabbcabbcca.bb
0.00/0.66		rule cabb -> abacca at position 7
0.00/0.66	.abacabbabaccacca.bb
0.00/0.66		rule a -> b at position 7
0.00/0.66	.abacabbbbaccacca.bb
0.00/0.66		rule a -> b at position 9
0.00/0.66	.abacabbbbbccacca.bb
0.00/0.66		rule cabb -> abacca at position 14
0.00/0.66	.abacabbbbbccacabacca.
0.00/0.66		rule a -> b at position 16
0.00/0.66	.abacabbbbbccacabbcca.
0.00/0.66		rule cabb -> abacca at position 13
0.00/0.66	.abacabbbbbccaabaccacca.
0.00/0.66		rule a -> b at position 13
0.00/0.66	.abacabbbbbccabbaccacca.
0.00/0.66		rule cabb -> abacca at position 11
0.00/0.66	.abacabbbbbcabaccaaccacca.
0.00/0.66		rule a -> b at position 13
0.00/0.66	.abacabbbbbcabbccaaccacca.
0.00/0.66		rule cabb -> abacca at position 10
0.00/0.66	.abacabbbbbabaccaccaaccacca.
0.00/0.66		rule a -> b at position 10
0.00/0.66	.abacabbbbbbbaccaccaaccacca.
0.00/0.66		rule a -> b at position 12
0.00/0.66	.abacabbbbbbbbccaccaaccacca.
0.00/0.69	EOF