1.55/0.64	NO
1.55/0.66	
1.55/0.66	
1.55/0.66	The system was reversed.
1.55/0.66	
1.55/0.66	Remains to prove termination of the 3-rule system
1.55/0.66	{ a -> ,
1.55/0.66	  b a a -> a c ,
1.55/0.66	  c a -> a a b c }
1.55/0.66	
1.55/0.66	
1.55/0.66	Loop of length 16 starting with a string of length 8 using right expansion
1.55/0.66	and the encoding {a=a, b=b, c=c}:
1.55/0.66	
1.55/0.66	.baa.aaaaa
1.55/0.66		rule baa -> ac at position 0
1.55/0.66	.ac.aaaaa
1.55/0.66		rule ca -> aabc at position 1
1.55/0.66	.aaabc.aaaa
1.55/0.66		rule ca -> aabc at position 4
1.55/0.66	.aaabaabc.aaa
1.55/0.66		rule ca -> aabc at position 7
1.55/0.66	.aaabaabaabc.aa
1.55/0.66		rule baa -> ac at position 6
1.55/0.66	.aaabaaacbc.aa
1.55/0.66		rule ca -> aabc at position 9
1.55/0.66	.aaabaaacbaabc.a
1.55/0.66		rule baa -> ac at position 8
1.55/0.66	.aaabaaacacbc.a
1.55/0.66		rule ca -> aabc at position 7
1.55/0.66	.aaabaaaaabccbc.a
1.55/0.66		rule ca -> aabc at position 13
1.55/0.66	.aaabaaaaabccbaabc.
1.55/0.66		rule baa -> ac at position 12
1.55/0.66	.aaabaaaaabccacbc.
1.55/0.66		rule ca -> aabc at position 11
1.55/0.66	.aaabaaaaabcaabccbc.
1.55/0.66		rule ca -> aabc at position 10
1.55/0.66	.aaabaaaaabaabcabccbc.
1.55/0.66		rule baa -> ac at position 9
1.55/0.66	.aaabaaaaaacbcabccbc.
1.55/0.66		rule ca -> aabc at position 12
1.55/0.66	.aaabaaaaaacbaabcbccbc.
1.55/0.66		rule baa -> ac at position 11
1.55/0.66	.aaabaaaaaacacbcbccbc.
1.55/0.66		rule ca -> aabc at position 10
1.55/0.66	.aaabaaaaaaaabccbcbccbc.
1.92/0.70	EOF