37.43/9.81	NO
37.43/9.82	Loop of length 24 starting with a string of length 11 using right expansion
37.43/9.82	and the encoding {a=a, b=b, c=c}:
37.43/9.82	
37.43/9.82	.a.abcabccbcc
37.43/9.82		rule a -> b at position 0
37.43/9.82	.b.abcabccbcc
37.43/9.82		rule babc -> ccaaaa at position 0
37.43/9.82	.ccaaaa.abccbcc
37.43/9.82		rule a -> b at position 2
37.43/9.82	.ccbaaa.abccbcc
37.43/9.82		rule a -> b at position 4
37.43/9.82	.ccbaba.abccbcc
37.43/9.82		rule a -> b at position 5
37.43/9.82	.ccbabb.abccbcc
37.43/9.82		rule babc -> ccaaaa at position 5
37.43/9.82	.ccbabccaaaa.cbcc
37.43/9.82		rule babc -> ccaaaa at position 2
37.43/9.82	.ccccaaaacaaaa.cbcc
37.43/9.82		rule a -> b at position 5
37.43/9.82	.ccccabaacaaaa.cbcc
37.43/9.82		rule a -> b at position 7
37.43/9.82	.ccccababcaaaa.cbcc
37.43/9.82		rule babc -> ccaaaa at position 5
37.43/9.82	.ccccaccaaaaaaaa.cbcc
37.43/9.82		rule a -> b at position 9
37.43/9.82	.ccccaccaabaaaaa.cbcc
37.43/9.82		rule a -> b at position 11
37.43/9.82	.ccccaccaababaaa.cbcc
37.43/9.82		rule a -> b at position 12
37.43/9.82	.ccccaccaababbaa.cbcc
37.43/9.82		rule a -> b at position 14
37.43/9.82	.ccccaccaababbab.cbcc
37.43/9.82		rule babc -> ccaaaa at position 12
37.43/9.82	.ccccaccaababccaaaa.bcc
37.43/9.82		rule babc -> ccaaaa at position 9
37.43/9.82	.ccccaccaaccaaaacaaaa.bcc
37.43/9.82		rule a -> b at position 14
37.43/9.82	.ccccaccaaccaaabcaaaa.bcc
37.43/9.82		rule a -> b at position 17
37.43/9.82	.ccccaccaaccaaabcabaa.bcc
37.43/9.82		rule a -> b at position 18
37.43/9.82	.ccccaccaaccaaabcabba.bcc
37.43/9.82		rule babc -> ccaaaa at position 18
37.43/9.82	.ccccaccaaccaaabcabccaaaa.c
37.43/9.82		rule a -> b at position 20
37.43/9.82	.ccccaccaaccaaabcabccbaaa.c
37.43/9.82		rule a -> b at position 21
37.43/9.82	.ccccaccaaccaaabcabccbbaa.c
37.43/9.82		rule a -> b at position 23
37.43/9.82	.ccccaccaaccaaabcabccbbab.c
37.43/9.82		rule babc -> ccaaaa at position 21
37.43/9.82	.ccccaccaaccaaabcabccbccaaaa.
37.63/9.87	EOF