Loop of length 2 starting with a string of length 6 found after enumerating 2 derivations: .aabb.bb rule aabb -> bbbbbaaaaa at position 0 .bbbbbaaaaa.bb rule aabb -> bbbbbaaaaa at position 8 .bbbbbaaabbbbbaaaaa.