Loop of length 11 starting with a string of length 8 found after enumerating 34302 derivations: .ab.bbacbb rule ab -> bbaca at position 0 .bbaca.bbacbb rule ab -> bbaca at position 4 .bbacbbaca.bacbb rule b -> at position 4 .bbacbaca.bacbb rule b -> at position 4 .bbacaca.bacbb rule cac -> at position 3 .bbaa.bacbb rule ab -> bbaca at position 3 .bbabbaca.acbb rule a -> at position 7 .bbabbac.acbb rule cac -> at position 6 .bbabba.bb rule ab -> bbaca at position 5 .bbabbbbaca.b rule b -> at position 5 .bbabbbaca.b rule ab -> bbaca at position 8 .bbabbbacbbaca.