1.88/0.68	NO
1.88/0.69	
1.88/0.69	
1.88/0.69	The system was reversed.
1.88/0.69	
1.88/0.69	Remains to prove termination of the 2-rule system
1.88/0.69	{ a -> b ,
1.88/0.69	  c a b b -> a a b c c a }
1.88/0.69	
1.88/0.69	
1.88/0.69	Loop of length 18 starting with a string of length 10 using right expansion
1.88/0.69	and the encoding {a=a, b=b, c=c}:
1.88/0.69	
1.88/0.69	.cabb.bbbbbb
1.88/0.69		rule cabb -> aabcca at position 0
1.88/0.69	.aabcca.bbbbbb
1.88/0.69		rule cabb -> aabcca at position 4
1.88/0.69	.aabcaabcca.bbbb
1.88/0.69		rule a -> b at position 5
1.88/0.69	.aabcabbcca.bbbb
1.88/0.69		rule cabb -> aabcca at position 8
1.88/0.69	.aabcabbcaabcca.bb
1.88/0.69		rule a -> b at position 9
1.88/0.69	.aabcabbcabbcca.bb
1.88/0.69		rule cabb -> aabcca at position 7
1.88/0.69	.aabcabbaabccacca.bb
1.88/0.69		rule a -> b at position 7
1.88/0.69	.aabcabbbabccacca.bb
1.88/0.69		rule a -> b at position 8
1.88/0.69	.aabcabbbbbccacca.bb
1.88/0.69		rule cabb -> aabcca at position 14
1.88/0.69	.aabcabbbbbccacaabcca.
1.88/0.69		rule a -> b at position 15
1.88/0.69	.aabcabbbbbccacabbcca.
1.88/0.69		rule cabb -> aabcca at position 13
1.88/0.69	.aabcabbbbbccaaabccacca.
1.88/0.69		rule a -> b at position 13
1.88/0.69	.aabcabbbbbccababccacca.
1.88/0.69		rule a -> b at position 14
1.88/0.69	.aabcabbbbbccabbbccacca.
1.88/0.69		rule cabb -> aabcca at position 11
1.88/0.69	.aabcabbbbbcaabccabccacca.
1.88/0.69		rule a -> b at position 12
1.88/0.69	.aabcabbbbbcabbccabccacca.
1.88/0.69		rule cabb -> aabcca at position 10
1.88/0.69	.aabcabbbbbaabccaccabccacca.
1.88/0.69		rule a -> b at position 10
1.88/0.69	.aabcabbbbbbabccaccabccacca.
1.88/0.69		rule a -> b at position 11
1.88/0.69	.aabcabbbbbbbbccaccabccacca.
1.88/0.72	EOF