4.18/1.27	NO
4.18/1.27	
4.18/1.27	
4.18/1.27	The system was reversed.
4.18/1.27	
4.18/1.27	Remains to prove termination of the 2-rule system
4.18/1.27	{ a a -> b ,
4.18/1.27	  c b a -> a a a a c c }
4.18/1.27	
4.18/1.27	
4.18/1.27	Loop of length 16 starting with a string of length 9 using right expansion
4.18/1.27	and the encoding {a=a, b=b, c=c}:
4.18/1.27	
4.18/1.27	.cba.bababa
4.18/1.27		rule cba -> aaaacc at position 0
4.18/1.27	.aaaacc.bababa
4.18/1.27		rule cba -> aaaacc at position 5
4.18/1.27	.aaaacaaaacc.baba
4.18/1.27		rule aa -> b at position 5
4.18/1.27	.aaaacbaacc.baba
4.18/1.27		rule cba -> aaaacc at position 9
4.18/1.27	.aaaacbaacaaaacc.ba
4.18/1.27		rule aa -> b at position 9
4.18/1.27	.aaaacbaacbaacc.ba
4.18/1.27		rule cba -> aaaacc at position 8
4.18/1.27	.aaaacbaaaaaaccacc.ba
4.18/1.27		rule aa -> b at position 7
4.18/1.27	.aaaacbabaaaccacc.ba
4.18/1.27		rule aa -> b at position 9
4.18/1.27	.aaaacbababccacc.ba
4.18/1.27		rule cba -> aaaacc at position 14
4.18/1.27	.aaaacbababccacaaaacc.
4.18/1.27		rule aa -> b at position 14
4.18/1.27	.aaaacbababccacbaacc.
4.18/1.27		rule cba -> aaaacc at position 13
4.18/1.27	.aaaacbababccaaaaaccacc.
4.18/1.27		rule aa -> b at position 12
4.18/1.27	.aaaacbababccbaaaccacc.
4.18/1.27		rule cba -> aaaacc at position 11
4.18/1.27	.aaaacbababcaaaaccaaccacc.
4.18/1.27		rule aa -> b at position 11
4.18/1.27	.aaaacbababcbaaccaaccacc.
4.18/1.27		rule cba -> aaaacc at position 10
4.18/1.27	.aaaacbababaaaaccaccaaccacc.
4.18/1.27		rule aa -> b at position 11
4.18/1.27	.aaaacbabababaccaccaaccacc.
4.18/1.31	EOF