first prime larger than 2^1024