is 2^63-1 prime