35.07/9.20	NO
35.07/9.20	Loop of length 24 starting with a string of length 8 using right expansion
35.07/9.20	and the encoding {a=a, b=b, c=c}:
35.07/9.20	
35.07/9.20	.ab.bbbbbb
35.07/9.20		rule ab -> bbaca at position 0
35.07/9.20	.bbaca.bbbbbb
35.07/9.20		rule ab -> bbaca at position 4
35.07/9.20	.bbacbbaca.bbbbb
35.07/9.20		rule b ->  at position 4
35.07/9.20	.bbacbaca.bbbbb
35.07/9.20		rule b ->  at position 4
35.07/9.20	.bbacaca.bbbbb
35.07/9.20		rule a ->  at position 4
35.07/9.20	.bbacca.bbbbb
35.07/9.20		rule ab -> bbaca at position 5
35.07/9.20	.bbaccbbaca.bbbb
35.07/9.20		rule ccb ->  at position 3
35.07/9.20	.bbabaca.bbbb
35.07/9.20		rule ab -> bbaca at position 6
35.07/9.20	.bbabacbbaca.bbb
35.07/9.20		rule b ->  at position 6
35.07/9.20	.bbabacbaca.bbb
35.07/9.20		rule b ->  at position 6
35.07/9.20	.bbabacaca.bbb
35.07/9.20		rule a ->  at position 6
35.07/9.20	.bbabacca.bbb
35.07/9.20		rule ab -> bbaca at position 7
35.07/9.20	.bbabaccbbaca.bb
35.07/9.20		rule ccb ->  at position 5
35.07/9.20	.bbababaca.bb
35.07/9.20		rule ab -> bbaca at position 4
35.07/9.20	.bbabbbacaaca.bb
35.07/9.20		rule a ->  at position 8
35.07/9.20	.bbabbbacaca.bb
35.07/9.20		rule a ->  at position 8
35.07/9.20	.bbabbbacca.bb
35.07/9.20		rule ab -> bbaca at position 9
35.07/9.20	.bbabbbaccbbaca.b
35.07/9.20		rule ccb ->  at position 7
35.07/9.20	.bbabbbabaca.b
35.07/9.20		rule ab -> bbaca at position 6
35.07/9.20	.bbabbbbbacaaca.b
35.07/9.20		rule a ->  at position 10
35.07/9.20	.bbabbbbbacaca.b
35.07/9.20		rule a ->  at position 10
35.07/9.20	.bbabbbbbacca.b
35.07/9.20		rule ab -> bbaca at position 11
35.07/9.20	.bbabbbbbaccbbaca.
35.07/9.20		rule ccb ->  at position 9
35.07/9.20	.bbabbbbbabaca.
35.07/9.20		rule ab -> bbaca at position 8
35.07/9.20	.bbabbbbbbbacaaca.
35.34/9.25	EOF