Loop of length 38 starting with a string of length 7 found after enumerating 33706 derivations: .ab.bbbbb rule ab -> cca at position 0 .cca.bbbbb rule ab -> cca at position 2 .cccca.bbbb rule ccc -> bbaa at position 0 .bbaaca.bbbb rule ab -> cca at position 5 .bbaaccca.bbb rule ccc -> bbaa at position 4 .bbaabbaaa.bbb rule ab -> cca at position 8 .bbaabbaacca.bb rule ab -> cca at position 10 .bbaabbaacccca.b rule ccc -> bbaa at position 8 .bbaabbaabbaaca.b rule ab -> cca at position 7 .bbaabbaccabaaca.b rule ab -> cca at position 9 .bbaabbaccccaaaca.b rule ccc -> bbaa at position 7 .bbaabbabbaacaaaca.b rule ab -> cca at position 6 .bbaabbccabaacaaaca.b rule ab -> cca at position 8 .bbaabbccccaaacaaaca.b rule ccc -> bbaa at position 6 .bbaabbbbaacaaacaaaca.b rule ab -> cca at position 19 .bbaabbbbaacaaacaaaccca. rule ccc -> bbaa at position 18 .bbaabbbbaacaaacaaabbaaa. rule ab -> cca at position 17 .bbaabbbbaacaaacaaccabaaa. rule ab -> cca at position 19 .bbaabbbbaacaaacaaccccaaaa. rule ccc -> bbaa at position 17 .bbaabbbbaacaaacaabbaacaaaa. rule ab -> cca at position 16 .bbaabbbbaacaaacaccabaacaaaa. rule ab -> cca at position 18 .bbaabbbbaacaaacaccccaaacaaaa. rule ccc -> bbaa at position 16 .bbaabbbbaacaaacabbaacaaacaaaa. rule ab -> cca at position 15 .bbaabbbbaacaaacccabaacaaacaaaa. rule ccc -> bbaa at position 14 .bbaabbbbaacaaabbaaabaacaaacaaaa. rule ab -> cca at position 13 .bbaabbbbaacaaccabaaabaacaaacaaaa. rule ab -> cca at position 15 .bbaabbbbaacaaccccaaaabaacaaacaaaa. rule ccc -> bbaa at position 13 .bbaabbbbaacaabbaacaaaabaacaaacaaaa. rule ab -> cca at position 12 .bbaabbbbaacaccabaacaaaabaacaaacaaaa. rule ab -> cca at position 14 .bbaabbbbaacaccccaaacaaaabaacaaacaaaa. rule ccc -> bbaa at position 12 .bbaabbbbaacabbaacaaacaaaabaacaaacaaaa. rule ab -> cca at position 11 .bbaabbbbaacccabaacaaacaaaabaacaaacaaaa. rule ccc -> bbaa at position 10 .bbaabbbbaabbaaabaacaaacaaaabaacaaacaaaa. rule ab -> cca at position 9 .bbaabbbbaccabaaabaacaaacaaaabaacaaacaaaa. rule ab -> cca at position 11 .bbaabbbbaccccaaaabaacaaacaaaabaacaaacaaaa. rule ccc -> bbaa at position 9 .bbaabbbbabbaacaaaabaacaaacaaaabaacaaacaaaa. rule ab -> cca at position 8 .bbaabbbbccabaacaaaabaacaaacaaaabaacaaacaaaa. rule ab -> cca at position 10 .bbaabbbbccccaaacaaaabaacaaacaaaabaacaaacaaaa. rule ccc -> bbaa at position 8 .bbaabbbbbbaacaaacaaaabaacaaacaaaabaacaaacaaaa.