2.78/0.89	NO
2.78/0.89	Loop of length 20 starting with a string of length 11 using right expansion
2.78/0.89	and the encoding {a=a, b=b, c=c}:
2.78/0.89	
2.78/0.89	.a.abcabccbcc
2.78/0.89		rule a -> b at position 0
2.78/0.89	.b.abcabccbcc
2.78/0.89		rule babc -> bccaaa at position 0
2.78/0.89	.bccaaa.abccbcc
2.78/0.89		rule a -> b at position 3
2.78/0.89	.bccbaa.abccbcc
2.78/0.89		rule a -> b at position 5
2.78/0.89	.bccbab.abccbcc
2.78/0.89		rule babc -> bccaaa at position 5
2.78/0.89	.bccbabccaaa.cbcc
2.78/0.89		rule babc -> bccaaa at position 3
2.78/0.89	.bccbccaaacaaa.cbcc
2.78/0.89		rule a -> b at position 6
2.78/0.89	.bccbccbaacaaa.cbcc
2.78/0.89		rule a -> b at position 8
2.78/0.89	.bccbccbabcaaa.cbcc
2.78/0.89		rule babc -> bccaaa at position 6
2.78/0.89	.bccbccbccaaaaaa.cbcc
2.78/0.89		rule a -> b at position 10
2.78/0.89	.bccbccbccabaaaa.cbcc
2.78/0.89		rule a -> b at position 12
2.78/0.89	.bccbccbccababaa.cbcc
2.78/0.89		rule a -> b at position 14
2.78/0.89	.bccbccbccababab.cbcc
2.78/0.89		rule babc -> bccaaa at position 12
2.78/0.89	.bccbccbccababccaaa.bcc
2.78/0.89		rule babc -> bccaaa at position 10
2.78/0.89	.bccbccbccabccaaacaaa.bcc
2.78/0.89		rule a -> b at position 15
2.78/0.89	.bccbccbccabccaabcaaa.bcc
2.78/0.89		rule a -> b at position 18
2.78/0.89	.bccbccbccabccaabcaba.bcc
2.78/0.89		rule babc -> bccaaa at position 18
2.78/0.89	.bccbccbccabccaabcabccaaa.c
2.78/0.89		rule a -> b at position 21
2.78/0.89	.bccbccbccabccaabcabccbaa.c
2.78/0.89		rule a -> b at position 23
2.78/0.89	.bccbccbccabccaabcabccbab.c
2.78/0.89		rule babc -> bccaaa at position 21
2.78/0.89	.bccbccbccabccaabcabccbccaaa.
2.82/0.92	EOF