2.04/0.71	NO
2.04/0.71	
2.04/0.71	
2.04/0.71	The system was reversed.
2.04/0.71	
2.04/0.71	Remains to prove termination of the 3-rule system
2.04/0.71	{ a -> ,
2.04/0.71	  b a -> a c b ,
2.04/0.71	  c c b -> a b c }
2.04/0.71	
2.04/0.71	
2.04/0.71	Loop of length 29 starting with a string of length 11 using right expansion
2.04/0.71	and the encoding {a=a, b=b, c=c}:
2.04/0.71	
2.04/0.71	.ba.acbcbcbcb
2.04/0.71		rule ba -> acb at position 0
2.04/0.71	.acb.acbcbcbcb
2.04/0.71		rule ba -> acb at position 2
2.04/0.71	.acacb.cbcbcbcb
2.04/0.71		rule a ->  at position 2
2.04/0.71	.accb.cbcbcbcb
2.04/0.71		rule ccb -> abc at position 1
2.04/0.71	.aabc.cbcbcbcb
2.04/0.71		rule ccb -> abc at position 3
2.04/0.71	.aababc.cbcbcb
2.04/0.71		rule ccb -> abc at position 5
2.04/0.71	.aabababc.cbcb
2.04/0.71		rule ba -> acb at position 4
2.04/0.71	.aabaacbbc.cbcb
2.04/0.71		rule ccb -> abc at position 8
2.04/0.71	.aabaacbbabc.cb
2.04/0.71		rule ba -> acb at position 7
2.04/0.71	.aabaacbacbbc.cb
2.04/0.71		rule ba -> acb at position 6
2.04/0.71	.aabaacacbcbbc.cb
2.04/0.71		rule a ->  at position 6
2.04/0.71	.aabaaccbcbbc.cb
2.04/0.71		rule ccb -> abc at position 11
2.04/0.71	.aabaaccbcbbabc.
2.04/0.71		rule ba -> acb at position 10
2.04/0.71	.aabaaccbcbacbbc.
2.04/0.71		rule ba -> acb at position 9
2.04/0.71	.aabaaccbcacbcbbc.
2.04/0.71		rule a ->  at position 9
2.04/0.71	.aabaaccbccbcbbc.
2.04/0.71		rule ccb -> abc at position 8
2.04/0.71	.aabaaccbabccbbc.
2.04/0.71		rule ba -> acb at position 7
2.04/0.71	.aabaaccacbbccbbc.
2.04/0.71		rule a ->  at position 7
2.04/0.71	.aabaacccbbccbbc.
2.04/0.71		rule ccb -> abc at position 10
2.04/0.71	.aabaacccbbabcbc.
2.04/0.71		rule ba -> acb at position 9
2.04/0.71	.aabaacccbacbbcbc.
2.04/0.71		rule ba -> acb at position 8
2.04/0.71	.aabaacccacbcbbcbc.
2.04/0.71		rule a ->  at position 8
2.04/0.71	.aabaaccccbcbbcbc.
2.04/0.71		rule ccb -> abc at position 7
2.04/0.71	.aabaaccabccbbcbc.
2.04/0.71		rule a ->  at position 7
2.04/0.71	.aabaaccbccbbcbc.
2.04/0.71		rule ccb -> abc at position 8
2.04/0.71	.aabaaccbabcbcbc.
2.04/0.71		rule ba -> acb at position 7
2.04/0.71	.aabaaccacbbcbcbc.
2.04/0.71		rule a ->  at position 7
2.04/0.71	.aabaacccbbcbcbc.
2.04/0.71		rule ccb -> abc at position 6
2.04/0.71	.aabaacabcbcbcbc.
2.04/0.71		rule a ->  at position 6
2.04/0.71	.aabaacbcbcbcbc.
2.04/0.75	EOF