0.00/0.28	NO
0.00/0.29	Loop of length 10 starting with a string of length 7 using right expansion
0.00/0.29	and the encoding {a=a, b=b, c=c}:
0.00/0.29	
0.00/0.29	.ab.bbcbb
0.00/0.29		rule ab -> bbca at position 0
0.00/0.29	.bbca.bbcbb
0.00/0.29		rule ab -> bbca at position 3
0.00/0.29	.bbcbbca.bcbb
0.00/0.29		rule b ->  at position 3
0.00/0.29	.bbcbca.bcbb
0.00/0.29		rule b ->  at position 3
0.00/0.29	.bbcca.bcbb
0.00/0.29		rule bcc -> a at position 1
0.00/0.29	.baa.bcbb
0.00/0.29		rule ab -> bbca at position 2
0.00/0.29	.babbca.cbb
0.00/0.29		rule a ->  at position 5
0.00/0.29	.babbc.cbb
0.00/0.29		rule bcc -> a at position 3
0.00/0.29	.baba.bb
0.00/0.29		rule ab -> bbca at position 3
0.00/0.29	.babbbca.b
0.00/0.29		rule ab -> bbca at position 6
0.00/0.29	.babbbcbbca.
0.00/0.34	EOF