Lucas–Lehmer primality test