0.00/0.33	NO
0.00/0.34	Loop of length 12 starting with a string of length 4 using right expansion
0.00/0.34	and the encoding {a=a, b=b, c=c}:
0.00/0.34	
0.00/0.34	.ab.bb
0.00/0.34		rule ab -> bcaa at position 0
0.00/0.34	.bcaa.bb
0.00/0.34		rule ab -> bcaa at position 3
0.00/0.34	.bcabcaa.b
0.00/0.34		rule ab -> bcaa at position 2
0.00/0.34	.bcbcaacaa.b
0.00/0.34		rule b -> a at position 2
0.00/0.34	.bcacaacaa.b
0.00/0.34		rule a ->  at position 4
0.00/0.34	.bcacacaa.b
0.00/0.34		rule a ->  at position 4
0.00/0.34	.bcaccaa.b
0.00/0.34		rule cc -> b at position 3
0.00/0.34	.bcabaa.b
0.00/0.34		rule ab -> bcaa at position 5
0.00/0.34	.bcababcaa.
0.00/0.34		rule ab -> bcaa at position 4
0.00/0.34	.bcabbcaacaa.
0.00/0.34		rule a ->  at position 6
0.00/0.34	.bcabbcacaa.
0.00/0.34		rule a ->  at position 6
0.00/0.34	.bcabbccaa.
0.00/0.34		rule cc -> b at position 5
0.00/0.34	.bcabbbaa.
0.00/0.37	EOF