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!