PrimeQ(2^1024)