2.56/0.92	NO
2.56/0.93	
2.56/0.93	
2.56/0.93	The system was reversed.
2.56/0.93	
2.56/0.93	Remains to prove termination of the 2-rule system
2.56/0.93	{ a -> b ,
2.56/0.93	  c b a a -> a a a c c a }
2.56/0.93	
2.56/0.93	
2.56/0.93	Loop of length 16 starting with a string of length 10 using right expansion
2.56/0.93	and the encoding {a=a, b=b, c=c}:
2.56/0.93	
2.56/0.93	.cbaa.aaaaaa
2.56/0.93		rule cbaa -> aaacca at position 0
2.56/0.93	.aaacca.aaaaaa
2.56/0.93		rule a -> b at position 5
2.56/0.93	.aaaccb.aaaaaa
2.56/0.93		rule cbaa -> aaacca at position 4
2.56/0.93	.aaacaaacca.aaaa
2.56/0.93		rule a -> b at position 4
2.56/0.93	.aaacbaacca.aaaa
2.56/0.93		rule a -> b at position 9
2.56/0.93	.aaacbaaccb.aaaa
2.56/0.93		rule cbaa -> aaacca at position 8
2.56/0.93	.aaacbaacaaacca.aa
2.56/0.93		rule a -> b at position 8
2.56/0.93	.aaacbaacbaacca.aa
2.56/0.93		rule cbaa -> aaacca at position 7
2.56/0.93	.aaacbaaaaaccacca.aa
2.56/0.93		rule a -> b at position 12
2.56/0.93	.aaacbaaaaaccbcca.aa
2.56/0.93		rule a -> b at position 15
2.56/0.93	.aaacbaaaaaccbccb.aa
2.56/0.93		rule cbaa -> aaacca at position 14
2.56/0.93	.aaacbaaaaaccbcaaacca.
2.56/0.93		rule a -> b at position 14
2.56/0.93	.aaacbaaaaaccbcbaacca.
2.56/0.93		rule cbaa -> aaacca at position 13
2.56/0.93	.aaacbaaaaaccbaaaccacca.
2.56/0.93		rule cbaa -> aaacca at position 11
2.56/0.93	.aaacbaaaaacaaaccaaccacca.
2.56/0.93		rule a -> b at position 11
2.56/0.93	.aaacbaaaaacbaaccaaccacca.
2.56/0.93		rule cbaa -> aaacca at position 10
2.56/0.93	.aaacbaaaaaaaaccaccaaccacca.
2.93/0.97	EOF