Loop of length 16 starting with a string of length 10 found after enumerating 713 derivations: .ab.bbbbbbbb rule ab -> c at position 0 .c.bbbbbbbb rule cbb -> bbbaab at position 0 .bbbaab.bbbbbb rule ab -> c at position 4 .bbbac.bbbbbb rule cbb -> bbbaab at position 4 .bbbabbbaab.bbbb rule ab -> c at position 8 .bbbabbbac.bbbb rule cbb -> bbbaab at position 8 .bbbabbbabbbaab.bb rule ab -> c at position 7 .bbbabbbcbbaab.bb rule cbb -> bbbaab at position 7 .bbbabbbbbbaabaab.bb rule ab -> c at position 11 .bbbabbbbbbacaab.bb rule ab -> c at position 13 .bbbabbbbbbacac.bb rule cbb -> bbbaab at position 13 .bbbabbbbbbacabbbaab. rule ab -> c at position 12 .bbbabbbbbbaccbbaab. rule cbb -> bbbaab at position 12 .bbbabbbbbbacbbbaabaab. rule cbb -> bbbaab at position 11 .bbbabbbbbbabbbaabbaabaab. rule ab -> c at position 10 .bbbabbbbbbcbbaabbaabaab. rule cbb -> bbbaab at position 10 .bbbabbbbbbbbbaabaabbaabaab.