[PrimePi[2^1024]]