0.00/0.42	NO
0.00/0.42	Loop of length 12 starting with a string of length 11 using right expansion
0.00/0.42	and the encoding {a=a, b=b, c=c}:
0.00/0.42	
0.00/0.42	.aabc.abccbcc
0.00/0.42		rule aabc -> bccaaa at position 0
0.00/0.42	.bccaaa.abccbcc
0.00/0.42		rule aabc -> bccaaa at position 5
0.00/0.42	.bccaabccaaa.cbcc
0.00/0.42		rule aabc -> bccaaa at position 3
0.00/0.42	.bccbccaaacaaa.cbcc
0.00/0.42		rule a -> b at position 8
0.00/0.42	.bccbccaabcaaa.cbcc
0.00/0.42		rule aabc -> bccaaa at position 6
0.00/0.42	.bccbccbccaaaaaa.cbcc
0.00/0.42		rule a -> b at position 14
0.00/0.42	.bccbccbccaaaaab.cbcc
0.00/0.42		rule aabc -> bccaaa at position 12
0.00/0.42	.bccbccbccaaabccaaa.bcc
0.00/0.42		rule aabc -> bccaaa at position 10
0.00/0.42	.bccbccbccabccaaacaaa.bcc
0.00/0.42		rule a -> b at position 15
0.00/0.42	.bccbccbccabccaabcaaa.bcc
0.00/0.42		rule aabc -> bccaaa at position 18
0.00/0.42	.bccbccbccabccaabcabccaaa.c
0.00/0.42		rule a -> b at position 23
0.00/0.42	.bccbccbccabccaabcabccaab.c
0.00/0.42		rule aabc -> bccaaa at position 21
0.00/0.42	.bccbccbccabccaabcabccbccaaa.
0.00/0.45	EOF