0.00/0.32	NO
0.00/0.32	
0.00/0.32	
0.00/0.32	The system was reversed.
0.00/0.32	
0.00/0.32	Remains to prove termination of the 2-rule system
0.00/0.32	{ a a -> b ,
0.00/0.32	  c b a -> a a a c c a }
0.00/0.32	
0.00/0.32	
0.00/0.32	Loop of length 16 starting with a string of length 9 using right expansion
0.00/0.32	and the encoding {a=a, b=b, c=c}:
0.00/0.32	
0.00/0.32	.cba.aaaaaa
0.00/0.32		rule cba -> aaacca at position 0
0.00/0.32	.aaacca.aaaaaa
0.00/0.32		rule aa -> b at position 5
0.00/0.32	.aaaccb.aaaaa
0.00/0.32		rule cba -> aaacca at position 4
0.00/0.32	.aaacaaacca.aaaa
0.00/0.32		rule aa -> b at position 4
0.00/0.32	.aaacbacca.aaaa
0.00/0.32		rule aa -> b at position 8
0.00/0.32	.aaacbaccb.aaa
0.00/0.32		rule cba -> aaacca at position 7
0.00/0.32	.aaacbacaaacca.aa
0.00/0.32		rule aa -> b at position 7
0.00/0.32	.aaacbacbacca.aa
0.00/0.32		rule cba -> aaacca at position 6
0.00/0.32	.aaacbaaaaccacca.aa
0.00/0.32		rule aa -> b at position 14
0.00/0.32	.aaacbaaaaccaccb.a
0.00/0.32		rule cba -> aaacca at position 13
0.00/0.32	.aaacbaaaaccacaaacca.
0.00/0.32		rule aa -> b at position 13
0.00/0.32	.aaacbaaaaccacbacca.
0.00/0.32		rule cba -> aaacca at position 12
0.00/0.32	.aaacbaaaaccaaaaccacca.
0.00/0.32		rule aa -> b at position 11
0.00/0.32	.aaacbaaaaccbaaccacca.
0.00/0.32		rule cba -> aaacca at position 10
0.00/0.32	.aaacbaaaacaaaccaaccacca.
0.00/0.32		rule aa -> b at position 10
0.00/0.32	.aaacbaaaacbaccaaccacca.
0.00/0.32		rule cba -> aaacca at position 9
0.00/0.32	.aaacbaaaaaaaccaccaaccacca.
0.00/0.37	EOF