New_Mersenne_conjecture loading ...