3.58/1.13	NO
3.58/1.13	
3.58/1.13	
3.58/1.13	The system was reversed.
3.58/1.13	
3.58/1.13	Remains to prove termination of the 5-rule system
3.58/1.13	{ a -> ,
3.58/1.13	  a a -> c b ,
3.58/1.13	  b -> ,
3.58/1.13	  c -> ,
3.58/1.13	  b c -> c a b }
3.58/1.13	
3.58/1.13	
3.58/1.13	Loop of length 16 starting with a string of length 8 using right expansion
3.58/1.13	and the encoding {a=a, b=c, c=b}:
3.58/1.13	
3.58/1.13	.aa.bbbbbb
3.58/1.13		rule aa -> bc at position 0
3.58/1.13	.bc.bbbbbb
3.58/1.13		rule cb -> bac at position 1
3.58/1.13	.bbac.bbbbb
3.58/1.13		rule cb -> bac at position 3
3.58/1.13	.bbabac.bbbb
3.58/1.13		rule b ->  at position 3
3.58/1.13	.bbaac.bbbb
3.58/1.13		rule cb -> bac at position 4
3.58/1.13	.bbaabac.bbb
3.58/1.13		rule cb -> bac at position 6
3.58/1.13	.bbaababac.bb
3.58/1.13		rule b ->  at position 6
3.58/1.13	.bbaabaac.bb
3.58/1.13		rule aa -> bc at position 5
3.58/1.13	.bbaabbcc.bb
3.58/1.13		rule cb -> bac at position 7
3.58/1.13	.bbaabbcbac.b
3.58/1.13		rule cb -> bac at position 6
3.58/1.13	.bbaabbbacac.b
3.58/1.13		rule c ->  at position 8
3.58/1.13	.bbaabbbaac.b
3.58/1.13		rule aa -> bc at position 7
3.58/1.13	.bbaabbbbcc.b
3.58/1.13		rule cb -> bac at position 9
3.58/1.13	.bbaabbbbcbac.
3.58/1.13		rule cb -> bac at position 8
3.58/1.13	.bbaabbbbbacac.
3.58/1.13		rule c ->  at position 10
3.58/1.13	.bbaabbbbbaac.
3.58/1.13		rule aa -> bc at position 9
3.58/1.13	.bbaabbbbbbcc.
3.74/1.64	EOF