1.73/0.67	NO
1.73/0.68	Loop of length 20 starting with a string of length 11 using right expansion
1.73/0.68	and the encoding {a=a, b=b, c=c}:
1.73/0.68	
1.73/0.68	.abbc.bbccbcc
1.73/0.68		rule abbc -> bccaaa at position 0
1.73/0.68	.bccaaa.bbccbcc
1.73/0.68		rule a -> b at position 4
1.73/0.68	.bccaba.bbccbcc
1.73/0.68		rule abbc -> bccaaa at position 5
1.73/0.68	.bccabbccaaa.cbcc
1.73/0.68		rule abbc -> bccaaa at position 3
1.73/0.68	.bccbccaaacaaa.cbcc
1.73/0.68		rule a -> b at position 7
1.73/0.68	.bccbccabacaaa.cbcc
1.73/0.68		rule a -> b at position 8
1.73/0.68	.bccbccabbcaaa.cbcc
1.73/0.68		rule abbc -> bccaaa at position 6
1.73/0.68	.bccbccbccaaaaaa.cbcc
1.73/0.68		rule a -> b at position 11
1.73/0.68	.bccbccbccaabaaa.cbcc
1.73/0.68		rule a -> b at position 13
1.73/0.68	.bccbccbccaababa.cbcc
1.73/0.68		rule a -> b at position 14
1.73/0.68	.bccbccbccaababb.cbcc
1.73/0.68		rule abbc -> bccaaa at position 12
1.73/0.68	.bccbccbccaabbccaaa.bcc
1.73/0.68		rule abbc -> bccaaa at position 10
1.73/0.68	.bccbccbccabccaaacaaa.bcc
1.73/0.68		rule a -> b at position 14
1.73/0.68	.bccbccbccabccabacaaa.bcc
1.73/0.68		rule a -> b at position 15
1.73/0.68	.bccbccbccabccabbcaaa.bcc
1.73/0.68		rule a -> b at position 17
1.73/0.68	.bccbccbccabccabbcbaa.bcc
1.73/0.68		rule a -> b at position 19
1.73/0.68	.bccbccbccabccabbcbab.bcc
1.73/0.68		rule abbc -> bccaaa at position 18
1.73/0.68	.bccbccbccabccabbcbbccaaa.c
1.73/0.68		rule a -> b at position 22
1.73/0.68	.bccbccbccabccabbcbbccaba.c
1.73/0.68		rule a -> b at position 23
1.73/0.68	.bccbccbccabccabbcbbccabb.c
1.73/0.68		rule abbc -> bccaaa at position 21
1.73/0.68	.bccbccbccabccabbcbbccbccaaa.
1.97/0.73	EOF