1.77/0.66	NO
1.77/0.67	Loop of length 20 starting with a string of length 8 using right expansion
1.77/0.67	and the encoding {a=a, b=b, c=c}:
1.77/0.67	
1.77/0.67	.ab.bbbbbb
1.77/0.67		rule ab -> bbca at position 0
1.77/0.67	.bbca.bbbbbb
1.77/0.67		rule ab -> bbca at position 3
1.77/0.67	.bbcbbca.bbbbb
1.77/0.67		rule b ->  at position 3
1.77/0.67	.bbcbca.bbbbb
1.77/0.67		rule b ->  at position 3
1.77/0.67	.bbcca.bbbbb
1.77/0.67		rule ab -> bbca at position 4
1.77/0.67	.bbccbbca.bbbb
1.77/0.67		rule ccb -> a at position 2
1.77/0.67	.bbabca.bbbb
1.77/0.67		rule ab -> bbca at position 5
1.77/0.67	.bbabcbbca.bbb
1.77/0.67		rule b ->  at position 5
1.77/0.67	.bbabcbca.bbb
1.77/0.67		rule b ->  at position 5
1.77/0.67	.bbabcca.bbb
1.77/0.67		rule ab -> bbca at position 6
1.77/0.67	.bbabccbbca.bb
1.77/0.67		rule ccb -> a at position 4
1.77/0.67	.bbababca.bb
1.77/0.67		rule ab -> bbca at position 4
1.77/0.67	.bbabbbcaca.bb
1.77/0.67		rule a ->  at position 7
1.77/0.67	.bbabbbcca.bb
1.77/0.67		rule ab -> bbca at position 8
1.77/0.67	.bbabbbccbbca.b
1.77/0.67		rule ccb -> a at position 6
1.77/0.67	.bbabbbabca.b
1.77/0.67		rule ab -> bbca at position 6
1.77/0.67	.bbabbbbbcaca.b
1.77/0.67		rule a ->  at position 9
1.77/0.67	.bbabbbbbcca.b
1.77/0.67		rule ab -> bbca at position 10
1.77/0.67	.bbabbbbbccbbca.
1.77/0.67		rule ccb -> a at position 8
1.77/0.67	.bbabbbbbabca.
1.77/0.67		rule ab -> bbca at position 8
1.77/0.67	.bbabbbbbbbcaca.
2.02/0.73	EOF