0.00/0.25	NO
0.00/0.25	Loop of length 2 starting with a string of length 3 using right expansion
0.00/0.25	and the encoding {a=a, b=b, c=c}:
0.00/0.25	
0.00/0.25	.c.bc
0.00/0.25		rule c ->= cba at position 0
0.00/0.25	.cba.bc
0.00/0.25		rule abc -> c at position 2
0.00/0.25	.cbc.
0.00/0.29	EOF