is (2^42,643,800 - 1) a prime number