Loop of length 8 starting with a string of length 4 found after enumerating 645 derivations: .ba.aa rule ba -> aabcab at position 0 .aabcab.aa rule a -> at position 4 .aabcb.aa rule ba -> aabcab at position 4 .aabcaabcab.a rule a -> at position 4 .aabcabcab.a rule a -> at position 4 .aabcbcab.a rule b -> at position 4 .aabccab.a rule cc -> at position 3 .aabab.a rule ba -> aabcab at position 4 .aabaaabcab.