0.00/0.29	NO
0.00/0.30	Loop of length 17 starting with a string of length 8 using right expansion
0.00/0.30	and the encoding {a=a, b=b, c=c}:
0.00/0.30	
0.00/0.30	.ab.bbbabb
0.00/0.30		rule ab -> ca at position 0
0.00/0.30	.ca.bbbabb
0.00/0.30		rule ab -> ca at position 1
0.00/0.30	.cca.bbabb
0.00/0.30		rule cc -> bab at position 0
0.00/0.30	.baba.bbabb
0.00/0.30		rule ab -> ca at position 3
0.00/0.30	.babca.babb
0.00/0.30		rule ab -> ca at position 4
0.00/0.30	.babcca.abb
0.00/0.30		rule cc -> bab at position 3
0.00/0.30	.babbaba.abb
0.00/0.30		rule ab -> ca at position 4
0.00/0.30	.babbcaa.abb
0.00/0.30		rule aa -> b at position 6
0.00/0.30	.babbcab.bb
0.00/0.30		rule ab -> ca at position 5
0.00/0.30	.babbcca.bb
0.00/0.30		rule cc -> bab at position 4
0.00/0.30	.babbbaba.bb
0.00/0.30		rule ab -> ca at position 5
0.00/0.30	.babbbcaa.bb
0.00/0.30		rule ab -> ca at position 7
0.00/0.30	.babbbcaca.b
0.00/0.30		rule ab -> ca at position 8
0.00/0.30	.babbbcacca.
0.00/0.30		rule cc -> bab at position 7
0.00/0.30	.babbbcababa.
0.00/0.30		rule ab -> ca at position 6
0.00/0.30	.babbbccaaba.
0.00/0.30		rule cc -> bab at position 5
0.00/0.30	.babbbbabaaba.
0.00/0.30		rule aa -> b at position 8
0.00/0.30	.babbbbabbba.
0.00/0.33	EOF