Lehmer_conjecture loading ...