Lehmer_code loading ...