16.40/4.46	NO
16.40/4.47	Loop of length 16 starting with a string of length 11 using right expansion
16.40/4.47	and the encoding {a=a, b=b, c=c}:
16.40/4.47	
16.40/4.47	.aabc.abccbcc
16.40/4.47		rule aabc -> ccaaaa at position 0
16.40/4.47	.ccaaaa.abccbcc
16.40/4.47		rule a -> b at position 4
16.40/4.47	.ccaaba.abccbcc
16.40/4.47		rule aabc -> ccaaaa at position 5
16.40/4.47	.ccaabccaaaa.cbcc
16.40/4.47		rule aabc -> ccaaaa at position 2
16.40/4.47	.ccccaaaacaaaa.cbcc
16.40/4.47		rule a -> b at position 7
16.40/4.47	.ccccaaabcaaaa.cbcc
16.40/4.47		rule aabc -> ccaaaa at position 5
16.40/4.47	.ccccaccaaaaaaaa.cbcc
16.40/4.47		rule a -> b at position 11
16.40/4.47	.ccccaccaaaabaaa.cbcc
16.40/4.47		rule a -> b at position 14
16.40/4.47	.ccccaccaaaabaab.cbcc
16.40/4.47		rule aabc -> ccaaaa at position 12
16.40/4.47	.ccccaccaaaabccaaaa.bcc
16.40/4.47		rule aabc -> ccaaaa at position 9
16.40/4.47	.ccccaccaaccaaaacaaaa.bcc
16.40/4.47		rule a -> b at position 14
16.40/4.47	.ccccaccaaccaaabcaaaa.bcc
16.40/4.47		rule a -> b at position 17
16.40/4.47	.ccccaccaaccaaabcabaa.bcc
16.40/4.47		rule aabc -> ccaaaa at position 18
16.40/4.47	.ccccaccaaccaaabcabccaaaa.c
16.40/4.47		rule a -> b at position 20
16.40/4.47	.ccccaccaaccaaabcabccbaaa.c
16.40/4.47		rule a -> b at position 23
16.40/4.47	.ccccaccaaccaaabcabccbaab.c
16.40/4.47		rule aabc -> ccaaaa at position 21
16.40/4.47	.ccccaccaaccaaabcabccbccaaaa.
16.66/4.54	EOF