0.00/0.44	NO
0.00/0.45	Loop of length 11 starting with a string of length 8 using right expansion
0.00/0.45	and the encoding {a=a, b=b, c=c}:
0.00/0.45	
0.00/0.45	.ab.bbbcbb
0.00/0.45		rule ab -> bbaca at position 0
0.00/0.45	.bbaca.bbbcbb
0.00/0.45		rule ab -> bbaca at position 4
0.00/0.45	.bbacbbaca.bbcbb
0.00/0.45		rule ab -> bbaca at position 8
0.00/0.45	.bbacbbacbbaca.bcbb
0.00/0.45		rule b ->  at position 8
0.00/0.45	.bbacbbacbaca.bcbb
0.00/0.45		rule b ->  at position 8
0.00/0.45	.bbacbbacaca.bcbb
0.00/0.45		rule cac ->  at position 7
0.00/0.45	.bbacbbaa.bcbb
0.00/0.45		rule ab -> bbaca at position 7
0.00/0.45	.bbacbbabbaca.cbb
0.00/0.45		rule cac ->  at position 10
0.00/0.45	.bbacbbabba.bb
0.00/0.45		rule ab -> bbaca at position 9
0.00/0.45	.bbacbbabbbbaca.b
0.00/0.45		rule a ->  at position 11
0.00/0.45	.bbacbbabbbbca.b
0.00/0.45		rule ab -> bbaca at position 12
0.00/0.45	.bbacbbabbbbcbbaca.
0.00/0.49	EOF