0.00/0.62	NO
0.00/0.62	
0.00/0.62	
0.00/0.62	The system was reversed.
0.00/0.62	
0.00/0.62	Remains to prove termination of the 2-rule system
0.00/0.62	{ a -> b ,
0.00/0.62	  c b b b -> a a b c c a }
0.00/0.62	
0.00/0.62	
0.00/0.62	Loop of length 26 starting with a string of length 10 using right expansion
0.00/0.62	and the encoding {a=a, b=b, c=c}:
0.00/0.62	
0.00/0.62	.cbbb.bbbbbb
0.00/0.62		rule cbbb -> aabcca at position 0
0.00/0.62	.aabcca.bbbbbb
0.00/0.62		rule a -> b at position 5
0.00/0.62	.aabccb.bbbbbb
0.00/0.62		rule cbbb -> aabcca at position 4
0.00/0.62	.aabcaabcca.bbbb
0.00/0.62		rule a -> b at position 4
0.00/0.62	.aabcbabcca.bbbb
0.00/0.62		rule a -> b at position 5
0.00/0.62	.aabcbbbcca.bbbb
0.00/0.62		rule a -> b at position 9
0.00/0.62	.aabcbbbccb.bbbb
0.00/0.62		rule cbbb -> aabcca at position 8
0.00/0.62	.aabcbbbcaabcca.bb
0.00/0.62		rule a -> b at position 8
0.00/0.62	.aabcbbbcbabcca.bb
0.00/0.62		rule a -> b at position 9
0.00/0.62	.aabcbbbcbbbcca.bb
0.00/0.62		rule cbbb -> aabcca at position 7
0.00/0.62	.aabcbbbaabccacca.bb
0.00/0.62		rule a -> b at position 7
0.00/0.62	.aabcbbbbabccacca.bb
0.00/0.62		rule a -> b at position 8
0.00/0.62	.aabcbbbbbbccacca.bb
0.00/0.62		rule a -> b at position 12
0.00/0.62	.aabcbbbbbbccbcca.bb
0.00/0.62		rule a -> b at position 15
0.00/0.62	.aabcbbbbbbccbccb.bb
0.00/0.62		rule cbbb -> aabcca at position 14
0.00/0.62	.aabcbbbbbbccbcaabcca.
0.00/0.62		rule a -> b at position 14
0.00/0.62	.aabcbbbbbbccbcbabcca.
0.00/0.62		rule a -> b at position 15
0.00/0.62	.aabcbbbbbbccbcbbbcca.
0.00/0.62		rule cbbb -> aabcca at position 13
0.00/0.62	.aabcbbbbbbccbaabccacca.
0.00/0.62		rule a -> b at position 13
0.00/0.62	.aabcbbbbbbccbbabccacca.
0.00/0.62		rule a -> b at position 14
0.00/0.62	.aabcbbbbbbccbbbbccacca.
0.00/0.62		rule cbbb -> aabcca at position 11
0.00/0.62	.aabcbbbbbbcaabccabccacca.
0.00/0.62		rule a -> b at position 11
0.00/0.62	.aabcbbbbbbcbabccabccacca.
0.00/0.62		rule a -> b at position 12
0.00/0.62	.aabcbbbbbbcbbbccabccacca.
0.00/0.62		rule cbbb -> aabcca at position 10
0.00/0.62	.aabcbbbbbbaabccaccabccacca.
0.00/0.62		rule a -> b at position 10
0.00/0.62	.aabcbbbbbbbabccaccabccacca.
0.00/0.62		rule a -> b at position 11
0.00/0.62	.aabcbbbbbbbbbccaccabccacca.
1.82/0.72	EOF