Loop of length 16 starting with a string of length 21 found after enumerating 140 derivations: .abbbb.bbbbbbbbbbbbbbbb rule abbbb -> bbbbbaa at position 0 .bbbbbaa.bbbbbbbbbbbbbbbb rule abbbb -> bbbbbaa at position 6 .bbbbbabbbbbaa.bbbbbbbbbbbb rule abbbb -> bbbbbaa at position 12 .bbbbbabbbbbabbbbbaa.bbbbbbbb rule abbbb -> bbbbbaa at position 11 .bbbbbabbbbbbbbbbaabaa.bbbbbbbb rule abbbb -> bbbbbaa at position 20 .bbbbbabbbbbbbbbbaababbbbbaa.bbbb rule abbbb -> bbbbbaa at position 19 .bbbbbabbbbbbbbbbaabbbbbbaabaa.bbbb rule abbbb -> bbbbbaa at position 17 .bbbbbabbbbbbbbbbabbbbbaabbaabaa.bbbb rule abbbb -> bbbbbaa at position 16 .bbbbbabbbbbbbbbbbbbbbaabaabbaabaa.bbbb rule abbbb -> bbbbbaa at position 32 .bbbbbabbbbbbbbbbbbbbbaabaabbaababbbbbaa. rule abbbb -> bbbbbaa at position 31 .bbbbbabbbbbbbbbbbbbbbaabaabbaabbbbbbaabaa. rule abbbb -> bbbbbaa at position 29 .bbbbbabbbbbbbbbbbbbbbaabaabbabbbbbaabbaabaa. rule abbbb -> bbbbbaa at position 28 .bbbbbabbbbbbbbbbbbbbbaabaabbbbbbbaabaabbaabaa. rule abbbb -> bbbbbaa at position 25 .bbbbbabbbbbbbbbbbbbbbaababbbbbaabbbaabaabbaabaa. rule abbbb -> bbbbbaa at position 24 .bbbbbabbbbbbbbbbbbbbbaabbbbbbaabaabbbaabaabbaabaa. rule abbbb -> bbbbbaa at position 22 .bbbbbabbbbbbbbbbbbbbbabbbbbaabbaabaabbbaabaabbaabaa. rule abbbb -> bbbbbaa at position 21 .bbbbbabbbbbbbbbbbbbbbbbbbbaabaabbaabaabbbaabaabbaabaa.