3.25/1.07	NO
3.25/1.07	
3.25/1.07	
3.25/1.07	The system was reversed.
3.25/1.07	
3.25/1.07	Remains to prove termination of the 3-rule system
3.25/1.07	{ a -> ,
3.25/1.07	  b a -> a c ,
3.25/1.07	  c c -> a b c b b }
3.25/1.07	
3.25/1.07	
3.25/1.07	Loop of length 17 starting with a string of length 6 using right expansion
3.25/1.07	and the encoding {a=a, b=b, c=c}:
3.25/1.07	
3.25/1.07	.cc.acac
3.25/1.07		rule cc -> abcbb at position 0
3.25/1.07	.abcbb.acac
3.25/1.07		rule ba -> ac at position 4
3.25/1.07	.abcbac.cac
3.25/1.07		rule a ->  at position 4
3.25/1.07	.abcbc.cac
3.25/1.07		rule cc -> abcbb at position 4
3.25/1.07	.abcbabcbb.ac
3.25/1.07		rule ba -> ac at position 3
3.25/1.07	.abcacbcbb.ac
3.25/1.07		rule a ->  at position 3
3.25/1.07	.abccbcbb.ac
3.25/1.07		rule ba -> ac at position 7
3.25/1.07	.abccbcbac.c
3.25/1.07		rule ba -> ac at position 6
3.25/1.07	.abccbcacc.c
3.25/1.07		rule a ->  at position 6
3.25/1.07	.abccbccc.c
3.25/1.07		rule cc -> abcbb at position 5
3.25/1.07	.abccbabcbbc.c
3.25/1.07		rule ba -> ac at position 4
3.25/1.07	.abccacbcbbc.c
3.25/1.07		rule cc -> abcbb at position 10
3.25/1.07	.abccacbcbbabcbb.
3.25/1.07		rule ba -> ac at position 9
3.25/1.07	.abccacbcbacbcbb.
3.25/1.07		rule ba -> ac at position 8
3.25/1.07	.abccacbcaccbcbb.
3.25/1.07		rule a ->  at position 8
3.25/1.07	.abccacbcccbcbb.
3.25/1.07		rule cc -> abcbb at position 7
3.25/1.07	.abccacbabcbbcbcbb.
3.25/1.07		rule ba -> ac at position 6
3.25/1.07	.abccacacbcbbcbcbb.
3.51/1.11	EOF