7.18/2.12	NO
7.18/2.13	Loop of length 31 starting with a string of length 8 using right expansion
7.18/2.13	and the encoding {a=a, b=b, c=c}:
7.18/2.13	
7.18/2.13	.cc.bcbcbc
7.18/2.13		rule cc -> bacbaa at position 0
7.18/2.13	.bacbaa.bcbcbc
7.18/2.13		rule ab -> c at position 5
7.18/2.13	.bacbac.cbcbc
7.18/2.13		rule cc -> bacbaa at position 5
7.18/2.13	.bacbabacbaa.bcbc
7.18/2.13		rule ab -> c at position 4
7.18/2.13	.bacbcacbaa.bcbc
7.18/2.13		rule a ->  at position 5
7.18/2.13	.bacbccbaa.bcbc
7.18/2.13		rule cc -> bacbaa at position 4
7.18/2.13	.bacbbacbaabaa.bcbc
7.18/2.13		rule ab -> c at position 9
7.18/2.13	.bacbbacbacaa.bcbc
7.18/2.13		rule ab -> c at position 11
7.18/2.13	.bacbbacbacac.cbc
7.18/2.13		rule cc -> bacbaa at position 11
7.18/2.13	.bacbbacbacabacbaa.bc
7.18/2.13		rule ab -> c at position 10
7.18/2.13	.bacbbacbaccacbaa.bc
7.18/2.13		rule cc -> bacbaa at position 9
7.18/2.13	.bacbbacbabacbaaacbaa.bc
7.18/2.13		rule ab -> c at position 8
7.18/2.13	.bacbbacbcacbaaacbaa.bc
7.18/2.13		rule a ->  at position 9
7.18/2.13	.bacbbacbccbaaacbaa.bc
7.18/2.13		rule cc -> bacbaa at position 8
7.18/2.13	.bacbbacbbacbaabaaacbaa.bc
7.18/2.13		rule ab -> c at position 13
7.18/2.13	.bacbbacbbacbacaaacbaa.bc
7.18/2.13		rule a ->  at position 14
7.18/2.13	.bacbbacbbacbacaacbaa.bc
7.18/2.13		rule a ->  at position 14
7.18/2.13	.bacbbacbbacbacacbaa.bc
7.18/2.13		rule a ->  at position 14
7.18/2.13	.bacbbacbbacbaccbaa.bc
7.18/2.13		rule cc -> bacbaa at position 13
7.18/2.13	.bacbbacbbacbabacbaabaa.bc
7.18/2.13		rule ab -> c at position 12
7.18/2.13	.bacbbacbbacbcacbaabaa.bc
7.18/2.13		rule a ->  at position 13
7.18/2.13	.bacbbacbbacbccbaabaa.bc
7.18/2.13		rule a ->  at position 15
7.18/2.13	.bacbbacbbacbccbabaa.bc
7.18/2.13		rule ab -> c at position 15
7.18/2.13	.bacbbacbbacbccbcaa.bc
7.18/2.13		rule ab -> c at position 17
7.18/2.13	.bacbbacbbacbccbcac.c
7.18/2.13		rule cc -> bacbaa at position 17
7.18/2.13	.bacbbacbbacbccbcabacbaa.
7.18/2.13		rule ab -> c at position 16
7.18/2.13	.bacbbacbbacbccbccacbaa.
7.18/2.13		rule a ->  at position 17
7.18/2.13	.bacbbacbbacbccbcccbaa.
7.18/2.13		rule cc -> bacbaa at position 16
7.18/2.13	.bacbbacbbacbccbcbacbaabaa.
7.18/2.13		rule a ->  at position 17
7.18/2.13	.bacbbacbbacbccbcbcbaabaa.
7.18/2.13		rule a ->  at position 19
7.18/2.13	.bacbbacbbacbccbcbcbabaa.
7.18/2.13		rule ab -> c at position 19
7.18/2.13	.bacbbacbbacbccbcbcbcaa.
7.61/2.98	EOF