0.00/0.30	NO
0.00/0.31	Loop of length 30 starting with a string of length 8 using right expansion
0.00/0.31	and the encoding {a=a, b=b, c=c}:
0.00/0.31	
0.00/0.31	.bc.cccccc
0.00/0.31		rule bc -> ab at position 0
0.00/0.31	.ab.cccccc
0.00/0.31		rule bc -> ab at position 1
0.00/0.31	.aab.ccccc
0.00/0.31		rule bc -> ab at position 2
0.00/0.31	.aaab.cccc
0.00/0.31		rule bc -> ab at position 3
0.00/0.31	.aaaab.ccc
0.00/0.31		rule bc -> ab at position 4
0.00/0.31	.aaaaab.cc
0.00/0.31		rule bc -> ab at position 5
0.00/0.31	.aaaaaab.c
0.00/0.31		rule ab ->  at position 5
0.00/0.31	.aaaaa.c
0.00/0.31		rule ac -> cccb at position 4
0.00/0.31	.aaaacccb.
0.00/0.31		rule ac -> cccb at position 3
0.00/0.31	.aaacccbccb.
0.00/0.31		rule ac -> cccb at position 2
0.00/0.31	.aacccbccbccb.
0.00/0.31		rule ac -> cccb at position 1
0.00/0.31	.acccbccbccbccb.
0.00/0.31		rule ac -> cccb at position 0
0.00/0.31	.cccbccbccbccbccb.
0.00/0.31		rule bc -> ab at position 6
0.00/0.31	.cccbccabcbccbccb.
0.00/0.31		rule bc -> ab at position 7
0.00/0.31	.cccbccaabbccbccb.
0.00/0.31		rule bc -> ab at position 9
0.00/0.31	.cccbccaababcbccb.
0.00/0.31		rule bc -> ab at position 10
0.00/0.31	.cccbccaabaabbccb.
0.00/0.31		rule ab ->  at position 10
0.00/0.31	.cccbccaababccb.
0.00/0.31		rule bc -> ab at position 10
0.00/0.31	.cccbccaabaabcb.
0.00/0.31		rule ab ->  at position 10
0.00/0.31	.cccbccaabacb.
0.00/0.31		rule ac -> cccb at position 9
0.00/0.31	.cccbccaabcccbb.
0.00/0.31		rule bc -> ab at position 8
0.00/0.31	.cccbccaaabccbb.
0.00/0.31		rule bc -> ab at position 9
0.00/0.31	.cccbccaaaabcbb.
0.00/0.31		rule ab ->  at position 9
0.00/0.31	.cccbccaaacbb.
0.00/0.31		rule ac -> cccb at position 8
0.00/0.31	.cccbccaacccbbb.
0.00/0.31		rule ac -> cccb at position 7
0.00/0.31	.cccbccacccbccbbb.
0.00/0.31		rule ac -> cccb at position 6
0.00/0.31	.cccbcccccbccbccbbb.
0.00/0.31		rule bc -> ab at position 9
0.00/0.31	.cccbcccccabcbccbbb.
0.00/0.31		rule ab ->  at position 9
0.00/0.31	.cccbccccccbccbbb.
0.00/0.31		rule bc -> ab at position 10
0.00/0.31	.cccbccccccabcbbb.
0.00/0.31		rule ab ->  at position 10
0.00/0.31	.cccbcccccccbbb.
0.00/0.34	EOF