0.00/0.32	NO
0.00/0.33	Loop of length 10 starting with a string of length 7 using right expansion
0.00/0.33	and the encoding {a=a, b=b, c=c}:
0.00/0.33	
0.00/0.33	.aaa.cccc
0.00/0.33		rule aaa -> b at position 0
0.00/0.33	.b.cccc
0.00/0.33		rule bc -> accb at position 0
0.00/0.33	.accb.ccc
0.00/0.33		rule c ->  at position 1
0.00/0.33	.acb.ccc
0.00/0.33		rule c ->  at position 1
0.00/0.33	.ab.ccc
0.00/0.33		rule bc -> accb at position 1
0.00/0.33	.aaccb.cc
0.00/0.33		rule c ->  at position 2
0.00/0.33	.aacb.cc
0.00/0.33		rule c ->  at position 2
0.00/0.33	.aab.cc
0.00/0.33		rule bc -> accb at position 2
0.00/0.33	.aaaccb.c
0.00/0.33		rule bc -> accb at position 5
0.00/0.33	.aaaccaccb.
0.00/0.33		rule a ->  at position 5
0.00/0.33	.aaaccccb.
0.00/0.37	EOF