Add FindSafePrimesByCertainty