Create ThousandFirstPrime