9.43/2.60	NO
9.43/2.60	Loop of length 26 starting with a string of length 11 using right expansion
9.43/2.60	and the encoding {a=a, b=b, c=c}:
9.43/2.60	
9.43/2.60	.bbbc.bbccbcc
9.43/2.60		rule bbbc -> ccabaa at position 0
9.43/2.60	.ccabaa.bbccbcc
9.43/2.60		rule a -> b at position 2
9.43/2.60	.ccbbaa.bbccbcc
9.43/2.60		rule a -> b at position 4
9.43/2.60	.ccbbba.bbccbcc
9.43/2.60		rule a -> b at position 5
9.43/2.60	.ccbbbb.bbccbcc
9.43/2.60		rule bbbc -> ccabaa at position 5
9.43/2.60	.ccbbbccabaa.cbcc
9.43/2.60		rule bbbc -> ccabaa at position 2
9.43/2.60	.ccccabaacabaa.cbcc
9.43/2.60		rule a -> b at position 6
9.43/2.60	.ccccabbacabaa.cbcc
9.43/2.60		rule a -> b at position 7
9.43/2.60	.ccccabbbcabaa.cbcc
9.43/2.60		rule bbbc -> ccabaa at position 5
9.43/2.60	.ccccaccabaaabaa.cbcc
9.43/2.60		rule a -> b at position 9
9.43/2.60	.ccccaccabbaabaa.cbcc
9.43/2.60		rule a -> b at position 10
9.43/2.60	.ccccaccabbbabaa.cbcc
9.43/2.60		rule a -> b at position 11
9.43/2.60	.ccccaccabbbbbaa.cbcc
9.43/2.60		rule a -> b at position 13
9.43/2.60	.ccccaccabbbbbba.cbcc
9.43/2.60		rule a -> b at position 14
9.43/2.60	.ccccaccabbbbbbb.cbcc
9.43/2.60		rule bbbc -> ccabaa at position 12
9.43/2.60	.ccccaccabbbbccabaa.bcc
9.43/2.60		rule bbbc -> ccabaa at position 9
9.43/2.60	.ccccaccabccabaacabaa.bcc
9.43/2.60		rule a -> b at position 13
9.43/2.60	.ccccaccabccabbacabaa.bcc
9.43/2.60		rule a -> b at position 14
9.43/2.60	.ccccaccabccabbbcabaa.bcc
9.43/2.60		rule a -> b at position 16
9.43/2.60	.ccccaccabccabbbcbbaa.bcc
9.43/2.60		rule a -> b at position 18
9.43/2.60	.ccccaccabccabbbcbbba.bcc
9.43/2.60		rule a -> b at position 19
9.43/2.60	.ccccaccabccabbbcbbbb.bcc
9.43/2.60		rule bbbc -> ccabaa at position 18
9.43/2.60	.ccccaccabccabbbcbbccabaa.c
9.43/2.60		rule a -> b at position 20
9.43/2.60	.ccccaccabccabbbcbbccbbaa.c
9.43/2.60		rule a -> b at position 22
9.43/2.60	.ccccaccabccabbbcbbccbbba.c
9.43/2.60		rule a -> b at position 23
9.43/2.60	.ccccaccabccabbbcbbccbbbb.c
9.43/2.60		rule bbbc -> ccabaa at position 21
9.43/2.60	.ccccaccabccabbbcbbccbccabaa.
9.43/2.64	EOF