183.87/46.76	NO
183.87/46.77	Loop of length 39 starting with a string of length 11 using right expansion
183.87/46.77	and the encoding {a=a, b=b, c=c}:
183.87/46.77	
183.87/46.77	.ab.bbbbbbbbb
183.87/46.77		rule ab -> bbca at position 0
183.87/46.77	.bbca.bbbbbbbbb
183.87/46.77		rule ab -> bbca at position 3
183.87/46.77	.bbcbbca.bbbbbbbb
183.87/46.77		rule b ->  at position 3
183.87/46.77	.bbcbca.bbbbbbbb
183.87/46.77		rule b ->  at position 3
183.87/46.77	.bbcca.bbbbbbbb
183.87/46.77		rule ab -> bbca at position 4
183.87/46.77	.bbccbbca.bbbbbbb
183.87/46.77		rule b ->  at position 4
183.87/46.77	.bbccbca.bbbbbbb
183.87/46.77		rule b ->  at position 4
183.87/46.77	.bbccca.bbbbbbb
183.87/46.77		rule ccc -> a at position 2
183.87/46.77	.bbaa.bbbbbbb
183.87/46.77		rule ab -> bbca at position 3
183.87/46.77	.bbabbca.bbbbbb
183.87/46.77		rule ab -> bbca at position 6
183.87/46.77	.bbabbcbbca.bbbbb
183.87/46.77		rule b ->  at position 6
183.87/46.77	.bbabbcbca.bbbbb
183.87/46.77		rule b ->  at position 6
183.87/46.77	.bbabbcca.bbbbb
183.87/46.77		rule ab -> bbca at position 7
183.87/46.77	.bbabbccbbca.bbbb
183.87/46.77		rule b ->  at position 7
183.87/46.77	.bbabbccbca.bbbb
183.87/46.77		rule b ->  at position 7
183.87/46.77	.bbabbccca.bbbb
183.87/46.77		rule ccc -> a at position 5
183.87/46.77	.bbabbaa.bbbb
183.87/46.77		rule ab -> bbca at position 6
183.87/46.77	.bbabbabbca.bbb
183.87/46.77		rule ab -> bbca at position 5
183.87/46.77	.bbabbbbcabca.bbb
183.87/46.77		rule ab -> bbca at position 8
183.87/46.77	.bbabbbbcbbcaca.bbb
183.87/46.77		rule b ->  at position 8
183.87/46.77	.bbabbbbcbcaca.bbb
183.87/46.77		rule b ->  at position 8
183.87/46.77	.bbabbbbccaca.bbb
183.87/46.77		rule a ->  at position 9
183.87/46.77	.bbabbbbccca.bbb
183.87/46.77		rule ccc -> a at position 7
183.87/46.77	.bbabbbbaa.bbb
183.87/46.77		rule ab -> bbca at position 8
183.87/46.77	.bbabbbbabbca.bb
183.87/46.77		rule ab -> bbca at position 7
183.87/46.77	.bbabbbbbbcabca.bb
183.87/46.77		rule ab -> bbca at position 10
183.87/46.77	.bbabbbbbbcbbcaca.bb
183.87/46.77		rule b ->  at position 10
183.87/46.77	.bbabbbbbbcbcaca.bb
183.87/46.77		rule b ->  at position 10
183.87/46.77	.bbabbbbbbccaca.bb
183.87/46.77		rule a ->  at position 11
183.87/46.77	.bbabbbbbbccca.bb
183.87/46.77		rule ccc -> a at position 9
183.87/46.77	.bbabbbbbbaa.bb
183.87/46.77		rule ab -> bbca at position 10
183.87/46.77	.bbabbbbbbabbca.b
183.87/46.77		rule ab -> bbca at position 9
183.87/46.77	.bbabbbbbbbbcabca.b
183.87/46.77		rule ab -> bbca at position 12
183.87/46.77	.bbabbbbbbbbcbbcaca.b
183.87/46.77		rule b ->  at position 12
183.87/46.77	.bbabbbbbbbbcbcaca.b
183.87/46.77		rule b ->  at position 12
183.87/46.77	.bbabbbbbbbbccaca.b
183.87/46.77		rule a ->  at position 13
183.87/46.77	.bbabbbbbbbbccca.b
183.87/46.77		rule ccc -> a at position 11
183.87/46.77	.bbabbbbbbbbaa.b
183.87/46.77		rule a ->  at position 11
183.87/46.77	.bbabbbbbbbba.b
183.87/46.77		rule ab -> bbca at position 11
183.87/46.77	.bbabbbbbbbbbbca.
184.02/46.82	EOF