9.32/2.59	NO
9.32/2.59	
9.32/2.59	
9.32/2.59	The system was reversed.
9.32/2.59	
9.32/2.59	Remains to prove termination of the 2-rule system
9.32/2.59	{ a -> b ,
9.32/2.59	  c a a b -> a a a c c a }
9.32/2.59	
9.32/2.59	
9.32/2.59	Loop of length 16 starting with a string of length 10 using right expansion
9.32/2.59	and the encoding {a=a, b=b, c=c}:
9.32/2.59	
9.32/2.59	.caab.ababab
9.32/2.59		rule caab -> aaacca at position 0
9.32/2.59	.aaacca.ababab
9.32/2.59		rule caab -> aaacca at position 4
9.32/2.59	.aaacaaacca.abab
9.32/2.59		rule a -> b at position 6
9.32/2.59	.aaacaabcca.abab
9.32/2.59		rule caab -> aaacca at position 8
9.32/2.59	.aaacaabcaaacca.ab
9.32/2.59		rule a -> b at position 10
9.32/2.59	.aaacaabcaabcca.ab
9.32/2.59		rule caab -> aaacca at position 7
9.32/2.59	.aaacaabaaaccacca.ab
9.32/2.59		rule a -> b at position 8
9.32/2.59	.aaacaababaccacca.ab
9.32/2.59		rule caab -> aaacca at position 14
9.32/2.59	.aaacaababaccacaaacca.
9.32/2.59		rule a -> b at position 16
9.32/2.59	.aaacaababaccacaabcca.
9.32/2.59		rule caab -> aaacca at position 13
9.32/2.59	.aaacaababaccaaaaccacca.
9.32/2.59		rule a -> b at position 14
9.32/2.59	.aaacaababaccaabaccacca.
9.32/2.59		rule caab -> aaacca at position 11
9.32/2.59	.aaacaababacaaaccaaccacca.
9.32/2.59		rule a -> b at position 13
9.32/2.59	.aaacaababacaabccaaccacca.
9.32/2.59		rule caab -> aaacca at position 10
9.32/2.59	.aaacaababaaaaccaccaaccacca.
9.32/2.59		rule a -> b at position 10
9.32/2.59	.aaacaabababaaccaccaaccacca.
9.32/2.59		rule a -> b at position 12
9.32/2.59	.aaacaababababccaccaaccacca.
9.40/2.63	EOF