Lucas-Lehmer primality test