50.87/13.25	NO
50.87/13.26	Loop of length 29 starting with a string of length 8 using right expansion
50.87/13.26	and the encoding {a=a, b=b, c=c}:
50.87/13.26	
50.87/13.26	.ab.cbbcbb
50.87/13.26		rule ab -> bcaa at position 0
50.87/13.26	.bcaa.cbbcbb
50.87/13.26		rule a ->  at position 2
50.87/13.26	.bca.cbbcbb
50.87/13.26		rule a ->  at position 2
50.87/13.26	.bc.cbbcbb
50.87/13.26		rule cc -> cba at position 1
50.87/13.26	.bcba.bbcbb
50.87/13.26		rule ab -> bcaa at position 3
50.87/13.26	.bcbbcaa.bcbb
50.87/13.26		rule ab -> bcaa at position 6
50.87/13.26	.bcbbcabcaa.cbb
50.87/13.26		rule ab -> bcaa at position 5
50.87/13.26	.bcbbcbcaacaa.cbb
50.87/13.26		rule a ->  at position 7
50.87/13.26	.bcbbcbcacaa.cbb
50.87/13.26		rule a ->  at position 7
50.87/13.26	.bcbbcbccaa.cbb
50.87/13.26		rule a ->  at position 8
50.87/13.26	.bcbbcbcca.cbb
50.87/13.26		rule a ->  at position 8
50.87/13.26	.bcbbcbcc.cbb
50.87/13.26		rule cc -> cba at position 7
50.87/13.26	.bcbbcbccba.bb
50.87/13.26		rule cc -> cba at position 6
50.87/13.26	.bcbbcbcbaba.bb
50.87/13.26		rule ab -> bcaa at position 8
50.87/13.26	.bcbbcbcbbcaaa.bb
50.87/13.26		rule ab -> bcaa at position 12
50.87/13.26	.bcbbcbcbbcaabcaa.b
50.87/13.26		rule ab -> bcaa at position 11
50.87/13.26	.bcbbcbcbbcabcaacaa.b
50.87/13.26		rule a ->  at position 13
50.87/13.26	.bcbbcbcbbcabcacaa.b
50.87/13.26		rule a ->  at position 13
50.87/13.26	.bcbbcbcbbcabccaa.b
50.87/13.26		rule cc -> cba at position 12
50.87/13.26	.bcbbcbcbbcabcbaaa.b
50.87/13.26		rule ab -> bcaa at position 16
50.87/13.26	.bcbbcbcbbcabcbaabcaa.
50.87/13.26		rule ab -> bcaa at position 15
50.87/13.26	.bcbbcbcbbcabcbabcaacaa.
50.87/13.26		rule ab -> bcaa at position 14
50.87/13.26	.bcbbcbcbbcabcbbcaacaacaa.
50.87/13.26		rule a ->  at position 16
50.87/13.26	.bcbbcbcbbcabcbbcacaacaa.
50.87/13.26		rule a ->  at position 16
50.87/13.26	.bcbbcbcbbcabcbbccaacaa.
50.87/13.26		rule a ->  at position 17
50.87/13.26	.bcbbcbcbbcabcbbccacaa.
50.87/13.26		rule a ->  at position 17
50.87/13.26	.bcbbcbcbbcabcbbcccaa.
50.87/13.26		rule cc -> cba at position 16
50.87/13.26	.bcbbcbcbbcabcbbccbaaa.
50.87/13.26		rule cc -> cba at position 15
50.87/13.26	.bcbbcbcbbcabcbbcbabaaa.
50.87/13.26		rule a ->  at position 17
50.87/13.26	.bcbbcbcbbcabcbbcbbaaa.
51.21/13.29	EOF