Lucas–Lehmer_test loading ...