Loop of length 10 starting with a string of length 9 found after enumerating 2074 derivations: .cc.aaaacaa rule cc -> b at position 0 .b.aaaacaa rule ba -> aacb at position 0 .aacb.aaacaa rule ba -> aacb at position 3 .aacaacb.aacaa rule a -> at position 3 .aacacb.aacaa rule a -> at position 3 .aaccb.aacaa rule ba -> aacb at position 4 .aaccaacb.acaa rule ba -> at position 7 .aaccaac.caa rule cc -> b at position 6 .aaccaab.aa rule ba -> aacb at position 6 .aaccaaaacb.a rule ba -> aacb at position 9 .aaccaaaacaacb.