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 3-rule system
0.00/0.32	{ a -> ,
0.00/0.32	  a -> b ,
0.00/0.32	  c b b -> b a c c c a }
0.00/0.32	
0.00/0.32	
0.00/0.32	Loop of length 11 starting with a string of length 5 using right expansion
0.00/0.32	and the encoding {a=a, b=b, c=c}:
0.00/0.32	
0.00/0.32	.cbb.bb
0.00/0.32		rule cbb -> baccca at position 0
0.00/0.32	.baccca.bb
0.00/0.32		rule a -> b at position 5
0.00/0.32	.bacccb.bb
0.00/0.32		rule cbb -> baccca at position 4
0.00/0.32	.baccbaccca.b
0.00/0.32		rule a -> b at position 5
0.00/0.32	.baccbbccca.b
0.00/0.32		rule a -> b at position 9
0.00/0.32	.baccbbcccb.b
0.00/0.32		rule cbb -> baccca at position 8
0.00/0.32	.baccbbccbaccca.
0.00/0.32		rule a -> b at position 9
0.00/0.32	.baccbbccbbccca.
0.00/0.32		rule cbb -> baccca at position 7
0.00/0.32	.baccbbcbacccaccca.
0.00/0.32		rule a -> b at position 8
0.00/0.32	.baccbbcbbcccaccca.
0.00/0.32		rule cbb -> baccca at position 6
0.00/0.32	.baccbbbacccacccaccca.
0.00/0.32		rule a -> b at position 7
0.00/0.32	.baccbbbbcccacccaccca.
0.00/0.37	EOF