0.00/0.37	NO
0.00/0.37	Loop of length 12 starting with a string of length 9 using right expansion
0.00/0.37	and the encoding {a=a, b=b, c=c}:
0.00/0.37	
0.00/0.37	.abb.bbbbbb
0.00/0.37		rule abb -> bbbaca at position 0
0.00/0.37	.bbbaca.bbbbbb
0.00/0.37		rule abb -> bbbaca at position 5
0.00/0.37	.bbbacbbbaca.bbbb
0.00/0.37		rule cb ->  at position 4
0.00/0.37	.bbbabbaca.bbbb
0.00/0.37		rule abb -> bbbaca at position 8
0.00/0.37	.bbbabbacbbbaca.bb
0.00/0.37		rule cb ->  at position 7
0.00/0.37	.bbbabbabbaca.bb
0.00/0.37		rule abb -> bbbaca at position 6
0.00/0.37	.bbbabbbbbacaaca.bb
0.00/0.37		rule a ->  at position 11
0.00/0.37	.bbbabbbbbacaca.bb
0.00/0.37		rule abb -> bbbaca at position 13
0.00/0.37	.bbbabbbbbacacbbbaca.
0.00/0.37		rule cb ->  at position 12
0.00/0.37	.bbbabbbbbacabbaca.
0.00/0.37		rule abb -> bbbaca at position 11
0.00/0.37	.bbbabbbbbacbbbacaaca.
0.00/0.37		rule cb ->  at position 10
0.00/0.37	.bbbabbbbbabbacaaca.
0.00/0.37		rule abb -> bbbaca at position 9
0.00/0.37	.bbbabbbbbbbbacaacaaca.
0.00/0.39	EOF