4.94/1.46	NO
4.94/1.46	Loop of length 20 starting with a string of length 8 using right expansion
4.94/1.46	and the encoding {a=a, b=b, c=c}:
4.94/1.46	
4.94/1.46	.aa.bababa
4.94/1.46		rule aa -> babcc at position 0
4.94/1.46	.babcc.bababa
4.94/1.46		rule cb -> a at position 4
4.94/1.46	.babca.ababa
4.94/1.46		rule aa -> babcc at position 4
4.94/1.46	.babcbabcc.baba
4.94/1.46		rule cb -> a at position 3
4.94/1.46	.babaabcc.baba
4.94/1.46		rule aa -> babcc at position 3
4.94/1.46	.babbabccbcc.baba
4.94/1.46		rule cb -> a at position 7
4.94/1.46	.babbabcacc.baba
4.94/1.46		rule a ->  at position 7
4.94/1.46	.babbabccc.baba
4.94/1.46		rule cb -> a at position 8
4.94/1.46	.babbabcca.aba
4.94/1.46		rule aa -> babcc at position 8
4.94/1.46	.babbabccbabcc.ba
4.94/1.46		rule cb -> a at position 7
4.94/1.46	.babbabcaabcc.ba
4.94/1.46		rule aa -> babcc at position 7
4.94/1.46	.babbabcbabccbcc.ba
4.94/1.46		rule cb -> a at position 6
4.94/1.46	.babbabaabccbcc.ba
4.94/1.46		rule c ->  at position 9
4.94/1.46	.babbabaabcbcc.ba
4.94/1.46		rule cb -> a at position 9
4.94/1.46	.babbabaabacc.ba
4.94/1.46		rule cb -> a at position 11
4.94/1.46	.babbabaabaca.a
4.94/1.46		rule aa -> babcc at position 11
4.94/1.46	.babbabaabacbabcc.
4.94/1.46		rule cb -> a at position 10
4.94/1.46	.babbabaabaaabcc.
4.94/1.46		rule aa -> babcc at position 10
4.94/1.46	.babbabaabababccbcc.
4.94/1.46		rule c ->  at position 13
4.94/1.46	.babbabaabababcbcc.
4.94/1.46		rule cb -> a at position 13
4.94/1.46	.babbabaabababacc.
4.96/1.49	EOF