0.00/0.26	NO
0.00/0.27	Loop of length 7 starting with a string of length 4 using right expansion
0.00/0.27	and the encoding {a=a, b=b, c=c}:
0.00/0.27	
0.00/0.27	.ab.cb
0.00/0.27		rule ab -> baacb at position 0
0.00/0.27	.baacb.cb
0.00/0.27		rule b -> a at position 4
0.00/0.27	.baaca.cb
0.00/0.27		rule a ->  at position 4
0.00/0.27	.baac.cb
0.00/0.27		rule cc ->  at position 3
0.00/0.27	.baa.b
0.00/0.27		rule ab -> baacb at position 2
0.00/0.27	.babaacb.
0.00/0.27		rule a ->  at position 3
0.00/0.27	.babacb.
0.00/0.27		rule a ->  at position 3
0.00/0.27	.babcb.
0.00/0.29	EOF