3.74/1.19	NO
3.74/1.19	Loop of length 24 starting with a string of length 11 using right expansion
3.74/1.19	and the encoding {a=a, b=b, c=c}:
3.74/1.19	
3.74/1.19	.aa.bcabccacc
3.74/1.19		rule aa -> ab at position 0
3.74/1.19	.ab.bcabccacc
3.74/1.19		rule bbc -> ccaaa at position 1
3.74/1.19	.accaaa.abccacc
3.74/1.19		rule aa -> ab at position 5
3.74/1.19	.accaaab.bccacc
3.74/1.19		rule aa -> ab at position 4
3.74/1.19	.accaabb.bccacc
3.74/1.19		rule aa -> ab at position 3
3.74/1.19	.accabbb.bccacc
3.74/1.19		rule bbc -> ccaaa at position 6
3.74/1.19	.accabbccaaa.cacc
3.74/1.19		rule bbc -> ccaaa at position 4
3.74/1.19	.accaccaaacaaa.cacc
3.74/1.19		rule aa -> ab at position 7
3.74/1.19	.accaccaabcaaa.cacc
3.74/1.19		rule aa -> ab at position 6
3.74/1.19	.accaccabbcaaa.cacc
3.74/1.19		rule bbc -> ccaaa at position 7
3.74/1.19	.accaccaccaaaaaa.cacc
3.74/1.19		rule aa -> ab at position 13
3.74/1.19	.accaccaccaaaaab.cacc
3.74/1.19		rule aa -> ab at position 12
3.74/1.19	.accaccaccaaaabb.cacc
3.74/1.19		rule aa -> ab at position 11
3.74/1.19	.accaccaccaaabbb.cacc
3.74/1.19		rule aa -> ab at position 10
3.74/1.19	.accaccaccaabbbb.cacc
3.74/1.19		rule bbc -> ccaaa at position 13
3.74/1.19	.accaccaccaabbccaaa.acc
3.74/1.19		rule bbc -> ccaaa at position 11
3.74/1.19	.accaccaccaaccaaacaaa.acc
3.74/1.19		rule aa -> ab at position 14
3.74/1.19	.accaccaccaaccaabcaaa.acc
3.74/1.19		rule aa -> ab at position 19
3.74/1.19	.accaccaccaaccaabcaaab.cc
3.74/1.19		rule aa -> ab at position 18
3.74/1.19	.accaccaccaaccaabcaabb.cc
3.74/1.19		rule aa -> ab at position 17
3.74/1.19	.accaccaccaaccaabcabbb.cc
3.74/1.19		rule bbc -> ccaaa at position 19
3.74/1.19	.accaccaccaaccaabcabccaaa.c
3.74/1.19		rule aa -> ab at position 22
3.74/1.19	.accaccaccaaccaabcabccaab.c
3.74/1.19		rule aa -> ab at position 21
3.74/1.19	.accaccaccaaccaabcabccabb.c
3.74/1.19		rule bbc -> ccaaa at position 22
3.74/1.19	.accaccaccaaccaabcabccaccaaa.
3.93/1.24	EOF