3.31/1.04	NO
3.31/1.04	Loop of length 15 starting with a string of length 8 using right expansion
3.31/1.04	and the encoding {a=a, b=b, c=c}:
3.31/1.04	
3.31/1.04	.a.bcccbcc
3.31/1.04		rule a -> b at position 0
3.31/1.04	.b.bcccbcc
3.31/1.04		rule bbc -> acccaa at position 0
3.31/1.04	.acccaa.ccbcc
3.31/1.04		rule a -> b at position 4
3.31/1.04	.acccba.ccbcc
3.31/1.04		rule a -> b at position 5
3.31/1.04	.acccbb.ccbcc
3.31/1.04		rule bbc -> acccaa at position 4
3.31/1.04	.acccacccaa.cbcc
3.31/1.04		rule a -> b at position 8
3.31/1.04	.acccacccba.cbcc
3.31/1.04		rule a -> b at position 9
3.31/1.04	.acccacccbb.cbcc
3.31/1.04		rule bbc -> acccaa at position 8
3.31/1.04	.acccacccacccaa.bcc
3.31/1.04		rule a -> b at position 13
3.31/1.04	.acccacccacccab.bcc
3.31/1.04		rule bbc -> acccaa at position 13
3.31/1.04	.acccacccacccaacccaa.c
3.31/1.04		rule a -> b at position 13
3.31/1.04	.acccacccacccabcccaa.c
3.31/1.04		rule a -> b at position 17
3.31/1.04	.acccacccacccabcccba.c
3.31/1.04		rule a -> b at position 18
3.31/1.04	.acccacccacccabcccbb.c
3.31/1.04		rule bbc -> acccaa at position 17
3.31/1.04	.acccacccacccabcccacccaa.
3.31/1.04		rule a -> b at position 17
3.31/1.04	.acccacccacccabcccbcccaa.
3.31/1.08	EOF