realprecision = 15008 significant digits (15000 digits displayed) Welcome to the CHG primality prover! ------------------------------------ Input file is: 32556_9283.in Certificate file is: 32556_9283.out Found values of n, F and G. Number to be tested has 41887 digits. Modulus has 12249 digits. Modulus is 29.242700561227281416% of n. NOTICE: This program assumes that n has passed a BLS PRP-test with n, F, and G as given. If not, then any results will be invalid! Square test passed for F >> G. Using modified right endpoint. Search for factors congruent to 1. Running CHG with h = 6, u = 2. Right endpoint has 5141 digits. Done! Time elapsed: 619864ms. Running CHG with h = 6, u = 2. Right endpoint has 4551 digits. Done! Time elapsed: 309118ms. Running CHG with h = 5, u = 1. Right endpoint has 3666 digits. Done! Time elapsed: 16660ms. Running CHG with h = 5, u = 1. Right endpoint has 3248 digits. Done! Time elapsed: 14797ms. Running CHG with h = 5, u = 1. Right endpoint has 2413 digits. Done! Time elapsed: 17381ms. Running CHG with h = 5, u = 1. Right endpoint has 742 digits. Done! Time elapsed: 254456ms. A certificate has been saved to the file: 32556_9283.out Running David Broadhurst's verifier on the saved certificate... Testing a PRP called "32556_9283.in". Pol[1, 1] with [h, u]=[5, 1] has ratio=1.6391805052503673792 E-2389 at X, ratio=3.0487401337550959476 E-3130 at Y, witness=3. Pol[2, 1] with [h, u]=[4, 1] has ratio=2.274605962029519074 E-1671 at X, ratio=2.315687251425674674 E-1671 at Y, witness=2. Pol[3, 1] with [h, u]=[4, 1] has ratio=2.491325468744583574 E-836 at X, ratio=5.819011595899484830 E-836 at Y, witness=43. Pol[4, 1] with [h, u]=[4, 1] has ratio=1.0107237831606918645 E-419 at X, ratio=2.6538923000009495060 E-418 at Y, witness=11. Pol[5, 1] with [h, u]=[6, 2] has ratio=1.5879682798710421479 E-223 at X, ratio=2.222854004357033572 E-1771 at Y, witness=2. Pol[6, 1] with [h, u]=[6, 2] has ratio=1.8824321194576357990 E-591 at X, ratio=4.317527851792719132 E-1181 at Y, witness=5. Validated in 1 sec. Congratulations! n is prime! Goodbye!