Loop of length 10 starting with a string of length 9 found after enumerating 2131 derivations: .bcc.bbbcbb rule bcc -> a at position 0 .a.bbbcbb rule ab -> bbca at position 0 .bbca.bbcbb rule ab -> bbca at position 3 .bbcbbca.bcbb rule b -> at position 3 .bbcbca.bcbb rule b -> at position 3 .bbcca.bcbb rule ab -> bbca at position 4 .bbccbbca.cbb rule a -> at position 7 .bbccbbc.cbb rule bcc -> a at position 5 .bbccba.bb rule ab -> bbca at position 5 .bbccbbbca.b rule ab -> bbca at position 8 .bbccbbbcbbca.