9.83/2.75	NO
9.83/2.76	
9.83/2.76	
9.83/2.76	The system was reversed.
9.83/2.76	
9.83/2.76	Remains to prove termination of the 3-rule system
9.83/2.76	{ a -> ,
9.83/2.76	  b a -> a a c ,
9.83/2.76	  c c -> a b c b }
9.83/2.76	
9.83/2.76	
9.83/2.76	Loop of length 36 starting with a string of length 8 using right expansion
9.83/2.76	and the encoding {a=a, b=b, c=c}:
9.83/2.76	
9.83/2.76	.ba.caaaaa
9.83/2.76		rule ba -> aac at position 0
9.83/2.76	.aac.caaaaa
9.83/2.76		rule cc -> abcb at position 2
9.83/2.76	.aaabcb.aaaaa
9.83/2.76		rule ba -> aac at position 5
9.83/2.76	.aaabcaac.aaaa
9.83/2.76		rule a ->  at position 5
9.83/2.76	.aaabcac.aaaa
9.83/2.76		rule a ->  at position 5
9.83/2.76	.aaabcc.aaaa
9.83/2.76		rule cc -> abcb at position 4
9.83/2.76	.aaababcb.aaaa
9.83/2.76		rule a ->  at position 4
9.83/2.76	.aaabbcb.aaaa
9.83/2.76		rule ba -> aac at position 6
9.83/2.76	.aaabbcaac.aaa
9.83/2.76		rule a ->  at position 6
9.83/2.76	.aaabbcac.aaa
9.83/2.76		rule a ->  at position 6
9.83/2.76	.aaabbcc.aaa
9.83/2.76		rule cc -> abcb at position 5
9.83/2.76	.aaabbabcb.aaa
9.83/2.76		rule ba -> aac at position 4
9.83/2.76	.aaabaacbcb.aaa
9.83/2.76		rule a ->  at position 4
9.83/2.76	.aaabacbcb.aaa
9.83/2.76		rule ba -> aac at position 8
9.83/2.76	.aaabacbcaac.aa
9.83/2.76		rule a ->  at position 8
9.83/2.76	.aaabacbcac.aa
9.83/2.76		rule a ->  at position 8
9.83/2.76	.aaabacbcc.aa
9.83/2.76		rule cc -> abcb at position 7
9.83/2.76	.aaabacbabcb.aa
9.83/2.76		rule a ->  at position 7
9.83/2.76	.aaabacbbcb.aa
9.83/2.76		rule ba -> aac at position 9
9.83/2.76	.aaabacbbcaac.a
9.83/2.76		rule a ->  at position 9
9.83/2.76	.aaabacbbcac.a
9.83/2.76		rule a ->  at position 9
9.83/2.76	.aaabacbbcc.a
9.83/2.76		rule cc -> abcb at position 8
9.83/2.76	.aaabacbbabcb.a
9.83/2.76		rule ba -> aac at position 7
9.83/2.76	.aaabacbaacbcb.a
9.83/2.76		rule a ->  at position 7
9.83/2.76	.aaabacbacbcb.a
9.83/2.76		rule ba -> aac at position 6
9.83/2.76	.aaabacaaccbcb.a
9.83/2.76		rule cc -> abcb at position 8
9.83/2.76	.aaabacaaabcbbcb.a
9.83/2.76		rule ba -> aac at position 14
9.83/2.76	.aaabacaaabcbbcaac.
9.83/2.76		rule a ->  at position 14
9.83/2.76	.aaabacaaabcbbcac.
9.83/2.76		rule a ->  at position 14
9.83/2.76	.aaabacaaabcbbcc.
9.83/2.76		rule cc -> abcb at position 13
9.83/2.76	.aaabacaaabcbbabcb.
9.83/2.76		rule ba -> aac at position 12
9.83/2.76	.aaabacaaabcbaacbcb.
9.83/2.76		rule ba -> aac at position 11
9.83/2.76	.aaabacaaabcaacacbcb.
9.83/2.76		rule a ->  at position 11
9.83/2.76	.aaabacaaabcacacbcb.
9.83/2.76		rule a ->  at position 11
9.83/2.76	.aaabacaaabccacbcb.
9.83/2.76		rule cc -> abcb at position 10
9.83/2.76	.aaabacaaababcbacbcb.
9.83/2.76		rule ba -> aac at position 9
9.83/2.76	.aaabacaaaaacbcbacbcb.
10.03/2.80	EOF