2.31/0.80	NO
2.31/0.80	
2.31/0.80	
2.31/0.80	The system was reversed.
2.31/0.80	
2.31/0.80	Remains to prove termination of the 3-rule system
2.31/0.80	{ a -> ,
2.31/0.80	  b a -> a a c b ,
2.31/0.80	  c c a -> a b }
2.31/0.80	
2.31/0.80	
2.31/0.80	Loop of length 24 starting with a string of length 8 using right expansion
2.31/0.80	and the encoding {a=a, b=b, c=c}:
2.31/0.80	
2.31/0.80	.ba.aaaaaa
2.31/0.80		rule ba -> aacb at position 0
2.31/0.80	.aacb.aaaaaa
2.31/0.80		rule ba -> aacb at position 3
2.31/0.80	.aacaacb.aaaaa
2.31/0.80		rule a ->  at position 3
2.31/0.80	.aacacb.aaaaa
2.31/0.80		rule a ->  at position 3
2.31/0.80	.aaccb.aaaaa
2.31/0.80		rule ba -> aacb at position 4
2.31/0.80	.aaccaacb.aaaa
2.31/0.80		rule cca -> ab at position 2
2.31/0.80	.aaabacb.aaaa
2.31/0.80		rule ba -> aacb at position 6
2.31/0.80	.aaabacaacb.aaa
2.31/0.80		rule a ->  at position 6
2.31/0.80	.aaabacacb.aaa
2.31/0.80		rule a ->  at position 6
2.31/0.80	.aaabaccb.aaa
2.31/0.80		rule ba -> aacb at position 7
2.31/0.80	.aaabaccaacb.aa
2.31/0.80		rule cca -> ab at position 5
2.31/0.80	.aaabaabacb.aa
2.31/0.80		rule ba -> aacb at position 6
2.31/0.80	.aaabaaaacbcb.aa
2.31/0.80		rule ba -> aacb at position 11
2.31/0.80	.aaabaaaacbcaacb.a
2.31/0.80		rule a ->  at position 11
2.31/0.80	.aaabaaaacbcacb.a
2.31/0.80		rule a ->  at position 11
2.31/0.80	.aaabaaaacbccb.a
2.31/0.80		rule ba -> aacb at position 12
2.31/0.80	.aaabaaaacbccaacb.
2.31/0.80		rule cca -> ab at position 10
2.31/0.80	.aaabaaaacbabacb.
2.31/0.80		rule ba -> aacb at position 9
2.31/0.80	.aaabaaaacaacbbacb.
2.31/0.80		rule a ->  at position 9
2.31/0.80	.aaabaaaacacbbacb.
2.31/0.80		rule a ->  at position 9
2.31/0.80	.aaabaaaaccbbacb.
2.31/0.80		rule ba -> aacb at position 11
2.31/0.80	.aaabaaaaccbaacbcb.
2.31/0.80		rule ba -> aacb at position 10
2.31/0.80	.aaabaaaaccaacbacbcb.
2.31/0.80		rule cca -> ab at position 8
2.31/0.80	.aaabaaaaabacbacbcb.
2.31/0.80		rule ba -> aacb at position 9
2.31/0.80	.aaabaaaaaaacbcbacbcb.
2.47/0.87	EOF