0.00/0.26	NO
0.00/0.26	Loop of length 10 starting with a string of length 4 using right expansion
0.00/0.26	and the encoding {a=a, b=b, c=c}:
0.00/0.26	
0.00/0.26	.ab.bb
0.00/0.26		rule ab -> bbacca at position 0
0.00/0.26	.bbacca.bb
0.00/0.26		rule ab -> bbacca at position 5
0.00/0.26	.bbaccbbacca.b
0.00/0.26		rule cb ->  at position 4
0.00/0.26	.bbacbacca.b
0.00/0.26		rule cb ->  at position 3
0.00/0.26	.bbaacca.b
0.00/0.26		rule ab -> bbacca at position 6
0.00/0.26	.bbaaccbbacca.
0.00/0.26		rule cb ->  at position 5
0.00/0.26	.bbaacbacca.
0.00/0.26		rule cb ->  at position 4
0.00/0.26	.bbaaacca.
0.00/0.26		rule a -> b at position 4
0.00/0.26	.bbaabcca.
0.00/0.26		rule ab -> bbacca at position 3
0.00/0.26	.bbabbaccacca.
0.00/0.26		rule a -> b at position 5
0.00/0.26	.bbabbbccacca.
0.00/0.30	EOF