1.49/0.61	NO
1.49/0.62	
1.49/0.62	
1.49/0.62	The system was reversed.
1.49/0.62	
1.49/0.62	Remains to prove termination of the 5-rule system
1.49/0.62	{ a -> ,
1.49/0.62	  a -> b ,
1.49/0.62	  b a -> a c a b ,
1.49/0.62	  b -> ,
1.49/0.62	  c c -> }
1.49/0.62	
1.49/0.62	
1.49/0.62	Loop of length 17 starting with a string of length 4 using right expansion
1.49/0.62	and the encoding {a=a, b=b, c=c}:
1.49/0.62	
1.49/0.62	.a.aaa
1.49/0.62		rule a -> b at position 0
1.49/0.62	.b.aaa
1.49/0.62		rule ba -> acab at position 0
1.49/0.62	.acab.aa
1.49/0.62		rule a -> b at position 2
1.49/0.62	.acbb.aa
1.49/0.62		rule ba -> acab at position 3
1.49/0.62	.acbacab.a
1.49/0.62		rule ba -> acab at position 2
1.49/0.62	.acacabcab.a
1.49/0.62		rule a ->  at position 2
1.49/0.62	.accabcab.a
1.49/0.62		rule cc ->  at position 1
1.49/0.62	.aabcab.a
1.49/0.62		rule a -> b at position 4
1.49/0.62	.aabcbb.a
1.49/0.62		rule ba -> acab at position 5
1.49/0.62	.aabcbacab.
1.49/0.62		rule ba -> acab at position 4
1.49/0.62	.aabcacabcab.
1.49/0.62		rule a ->  at position 4
1.49/0.62	.aabccabcab.
1.49/0.62		rule cc ->  at position 3
1.49/0.62	.aababcab.
1.49/0.62		rule ba -> acab at position 2
1.49/0.62	.aaacabbcab.
1.49/0.62		rule a ->  at position 4
1.49/0.62	.aaacbbcab.
1.49/0.62		rule b ->  at position 4
1.49/0.62	.aaacbcab.
1.49/0.62		rule b ->  at position 4
1.49/0.62	.aaaccab.
1.49/0.62		rule cc ->  at position 3
1.49/0.62	.aaaab.
1.80/0.66	EOF