Lehmer_number loading ...