5.62/1.62	NO
5.62/1.62	Loop of length 12 starting with a string of length 9 using right expansion
5.62/1.62	and the encoding {a=a, b=b, c=c}:
5.62/1.62	
5.62/1.62	.abc.bccccc
5.62/1.62		rule abc -> ccaa at position 0
5.62/1.62	.ccaa.bccccc
5.62/1.62		rule abc -> ccaa at position 3
5.62/1.62	.ccaccaa.cccc
5.62/1.62		rule cc -> b at position 3
5.62/1.62	.ccabaa.cccc
5.62/1.62		rule a -> b at position 5
5.62/1.62	.ccabab.cccc
5.62/1.62		rule abc -> ccaa at position 4
5.62/1.62	.ccabccaa.ccc
5.62/1.62		rule a -> b at position 7
5.62/1.62	.ccabccab.ccc
5.62/1.62		rule abc -> ccaa at position 6
5.62/1.62	.ccabccccaa.cc
5.62/1.62		rule cc -> b at position 5
5.62/1.62	.ccabcbcaa.cc
5.62/1.62		rule a -> b at position 8
5.62/1.62	.ccabcbcab.cc
5.62/1.62		rule abc -> ccaa at position 7
5.62/1.62	.ccabcbcccaa.c
5.62/1.62		rule a -> b at position 10
5.62/1.62	.ccabcbcccab.c
5.62/1.62		rule abc -> ccaa at position 9
5.62/1.62	.ccabcbcccccaa.
5.67/1.68	EOF