2.31/0.84	NO
2.62/0.85	Loop of length 18 starting with a string of length 8 using right expansion
2.62/0.85	and the encoding {a=a, b=b, c=c}:
2.62/0.85	
2.62/0.85	.cb.bbbbab
2.62/0.85		rule cb -> ac at position 0
2.62/0.85	.ac.bbbbab
2.62/0.85		rule cb -> ac at position 1
2.62/0.85	.aac.bbbab
2.62/0.85		rule aa -> babc at position 0
2.62/0.85	.babcc.bbbab
2.62/0.85		rule cb -> ac at position 4
2.62/0.85	.babcac.bbab
2.62/0.85		rule cb -> ac at position 5
2.62/0.85	.babcaac.bab
2.62/0.85		rule aa -> babc at position 4
2.62/0.85	.babcbabcc.bab
2.62/0.85		rule a ->  at position 5
2.62/0.85	.babcbbcc.bab
2.62/0.85		rule cb -> ac at position 7
2.62/0.85	.babcbbcac.ab
2.62/0.85		rule c ->  at position 8
2.62/0.85	.babcbbca.ab
2.62/0.85		rule aa -> babc at position 7
2.62/0.85	.babcbbcbabc.b
2.62/0.85		rule cb -> ac at position 6
2.62/0.85	.babcbbacabc.b
2.62/0.85		rule c ->  at position 7
2.62/0.85	.babcbbaabc.b
2.62/0.85		rule aa -> babc at position 6
2.62/0.85	.babcbbbabcbc.b
2.62/0.85		rule a ->  at position 7
2.62/0.85	.babcbbbbcbc.b
2.62/0.85		rule cb -> ac at position 8
2.62/0.85	.babcbbbbacc.b
2.62/0.85		rule c ->  at position 9
2.62/0.85	.babcbbbbac.b
2.62/0.85		rule cb -> ac at position 9
2.62/0.85	.babcbbbbaac.
2.62/0.85		rule aa -> babc at position 8
2.62/0.85	.babcbbbbbabcc.
2.65/0.88	EOF