Loop of length 2 starting with a string of length 3 found after enumerating 84 derivations: .ki.b rule ki -> kbi at position 0 .kbi.b rule bib -> ibb at position 1 .kibb.