Loop of length 13 starting with a string of length 8 found after enumerating 10790 derivations: .ba.aaacaa 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 cc -> b at position 2 .aabb.aacaa rule ba -> aacb at position 3 .aabaacb.acaa rule ba -> aacb at position 6 .aabaacaacb.caa rule a -> at position 6 .aabaacacb.caa rule a -> at position 6 .aabaaccb.caa rule cc -> b at position 5 .aabaabb.caa rule bc -> at position 6 .aabaab.aa rule ba -> aacb at position 5 .aabaaaacb.a rule ba -> aacb at position 8 .aabaaaacaacb.