Loop of length 9 starting with a string of length 4 found after enumerating 727 derivations: .ba.aa rule ba -> aabcb at position 0 .aabcb.aa rule ba -> aabcb at position 4 .aabcaabcb.a rule a -> at position 4 .aabcabcb.a rule a -> at position 4 .aabcbcb.a rule b -> a at position 4 .aabcacb.a rule a -> at position 4 .aabccb.a rule cc -> at position 3 .aabb.a rule ba -> aabcb at position 3 .aabaabcb. rule b -> a at position 5 .aabaaacb.