32.57/8.51	NO
32.57/8.52	Loop of length 24 starting with a string of length 11 using right expansion
32.57/8.52	and the encoding {a=a, b=b, c=c}:
32.57/8.52	
32.57/8.52	.abbc.bbccbcc
32.57/8.52		rule abbc -> ccaaaa at position 0
32.57/8.52	.ccaaaa.bbccbcc
32.57/8.52		rule a -> b at position 3
32.57/8.52	.ccabaa.bbccbcc
32.57/8.52		rule a -> b at position 4
32.57/8.52	.ccabba.bbccbcc
32.57/8.52		rule abbc -> ccaaaa at position 5
32.57/8.52	.ccabbccaaaa.cbcc
32.57/8.52		rule abbc -> ccaaaa at position 2
32.57/8.52	.ccccaaaacaaaa.cbcc
32.57/8.52		rule a -> b at position 6
32.57/8.52	.ccccaabacaaaa.cbcc
32.57/8.52		rule a -> b at position 7
32.57/8.52	.ccccaabbcaaaa.cbcc
32.57/8.52		rule abbc -> ccaaaa at position 5
32.57/8.52	.ccccaccaaaaaaaa.cbcc
32.57/8.52		rule a -> b at position 10
32.57/8.52	.ccccaccaaabaaaa.cbcc
32.57/8.52		rule a -> b at position 11
32.57/8.52	.ccccaccaaabbaaa.cbcc
32.57/8.52		rule a -> b at position 13
32.57/8.52	.ccccaccaaabbaba.cbcc
32.57/8.52		rule a -> b at position 14
32.57/8.52	.ccccaccaaabbabb.cbcc
32.57/8.52		rule abbc -> ccaaaa at position 12
32.57/8.52	.ccccaccaaabbccaaaa.bcc
32.57/8.52		rule abbc -> ccaaaa at position 9
32.57/8.52	.ccccaccaaccaaaacaaaa.bcc
32.57/8.52		rule a -> b at position 13
32.57/8.52	.ccccaccaaccaabacaaaa.bcc
32.57/8.52		rule a -> b at position 14
32.57/8.52	.ccccaccaaccaabbcaaaa.bcc
32.57/8.52		rule a -> b at position 16
32.57/8.52	.ccccaccaaccaabbcbaaa.bcc
32.57/8.52		rule a -> b at position 17
32.57/8.52	.ccccaccaaccaabbcbbaa.bcc
32.57/8.52		rule a -> b at position 19
32.57/8.52	.ccccaccaaccaabbcbbab.bcc
32.57/8.52		rule abbc -> ccaaaa at position 18
32.57/8.52	.ccccaccaaccaabbcbbccaaaa.c
32.57/8.52		rule a -> b at position 20
32.57/8.52	.ccccaccaaccaabbcbbccbaaa.c
32.57/8.52		rule a -> b at position 22
32.57/8.52	.ccccaccaaccaabbcbbccbaba.c
32.57/8.52		rule a -> b at position 23
32.57/8.52	.ccccaccaaccaabbcbbccbabb.c
32.57/8.52		rule abbc -> ccaaaa at position 21
32.57/8.52	.ccccaccaaccaabbcbbccbccaaaa.
32.69/8.55	EOF