realprecision = 28012 significant digits (28000 digits displayed) Welcome to the CHG primality prover! ------------------------------------ Input file is: 58729_15091.in Certificate file is: 58729_15091.out Found values of n, F and G. Number to be tested has 71962 digits. Modulus has 19510 digits. Modulus is 27.110156929573823956% 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 = 12, u = 5. Right endpoint has 13436 digits. Done! Time elapsed: 4225491ms. Running CHG with h = 12, u = 5. Right endpoint has 13245 digits. Done! Time elapsed: 4930893ms. Running CHG with h = 12, u = 5. Right endpoint has 13016 digits. Done! Time elapsed: 4527312ms. Running CHG with h = 12, u = 5. Right endpoint has 12778 digits. Done! Time elapsed: 21197217ms. Running CHG with h = 12, u = 5. Right endpoint has 12538 digits. Done! Time elapsed: 30390084ms. Running CHG with h = 11, u = 4. Right endpoint has 12273 digits. Done! Time elapsed: 557686ms. Running CHG with h = 11, u = 4. Right endpoint has 12184 digits. Done! Time elapsed: 677815ms. Running CHG with h = 11, u = 4. Right endpoint has 12076 digits. Done! Time elapsed: 582520ms. Running CHG with h = 11, u = 4. Right endpoint has 11941 digits. Done! Time elapsed: 1576079ms. Running CHG with h = 11, u = 4. Right endpoint has 11772 digits. Done! Time elapsed: 660918ms. Running CHG with h = 11, u = 4. Right endpoint has 11555 digits. Done! Time elapsed: 2282888ms. Running CHG with h = 11, u = 4. Right endpoint has 11290 digits. Done! Time elapsed: 4610192ms. Running CHG with h = 11, u = 4. Right endpoint has 10959 digits. Done! Time elapsed: 25951851ms. Running CHG with h = 11, u = 4. Right endpoint has 10544 digits. Done! Time elapsed: 6946961ms. Running CHG with h = 9, u = 3. Right endpoint has 10027 digits. Done! Time elapsed: 1021963ms. Running CHG with h = 9, u = 3. Right endpoint has 9851 digits. Done! Time elapsed: 1185731ms. Running CHG with h = 9, u = 3. Right endpoint has 9618 digits. Done! Time elapsed: 2959500ms. Running CHG with h = 9, u = 3. Right endpoint has 9306 digits. Done! Time elapsed: 1529306ms. Running CHG with h = 9, u = 3. Right endpoint has 8890 digits. Done! Time elapsed: 2471625ms. Running CHG with h = 9, u = 3. Right endpoint has 8336 digits. Done! Time elapsed: 3313780ms. Running CHG with h = 7, u = 2. Right endpoint has 7598 digits. Done! Time elapsed: 109873ms. Running CHG with h = 7, u = 2. Right endpoint has 7245 digits. Done! Time elapsed: 164172ms. Running CHG with h = 7, u = 2. Right endpoint has 6750 digits. Done! Time elapsed: 212677ms. Running CHG with h = 7, u = 2. Right endpoint has 5684 digits. Done! Time elapsed: 418734ms. Running CHG with h = 5, u = 1. Right endpoint has 4333 digits. Done! Time elapsed: 29826ms. Running CHG with h = 5, u = 1. Right endpoint has 1813 digits. Done! Time elapsed: 46447ms. A certificate has been saved to the file: 58729_15091.out Running David Broadhurst's verifier on the saved certificate... Testing a PRP called "58729_15091.in". Pol[1, 1] with [h, u]=[5, 1] has ratio=1.0134288945207137034 E-1492 at X, ratio=1.9336739991304621642 E-3304 at Y, witness=2. Pol[2, 1] with [h, u]=[4, 1] has ratio=0.9905223921630433171 at X, ratio=2.628753592120217809 E-2520 at Y, witness=17. Pol[3, 1] with [h, u]=[7, 2] has ratio=4.918323052208643000 E-14 at X, ratio=9.546243236195060029 E-2704 at Y, witness=11. Pol[4, 1] with [h, u]=[7, 2] has ratio=1.0000000000000000000 at X, ratio=1.0555632480974689792 E-2131 at Y, witness=2. Pol[5, 1] with [h, u]=[7, 2] has ratio=0.22996920903704090786 at X, ratio=2.167302784231128993 E-991 at Y, witness=7. Pol[6, 1] with [h, u]=[7, 2] has ratio=1.9425517191319906974 E-353 at X, ratio=3.773507181502652473 E-706 at Y, witness=2. Pol[7, 1] with [h, u]=[9, 3] has ratio=0.3132381427483303126 at X, ratio=8.968748868560502876 E-2217 at Y, witness=5. Pol[8, 1] with [h, u]=[9, 3] has ratio=0.2628395406272610382 at X, ratio=9.496915232904930856 E-1663 at Y, witness=23. Pol[9, 1] with [h, u]=[9, 3] has ratio=0.14443748489151425192 at X, ratio=2.6984045950437693532 E-1247 at Y, witness=5. Pol[10, 1] with [h, u]=[9, 3] has ratio=0.024056063875887052616 at X, ratio=1.1220907851245453900 E-935 at Y, witness=2. Pol[11, 1] with [h, u]=[9, 3] has ratio=0.3052823612612857144 at X, ratio=7.384724839947875764 E-702 at Y, witness=5. Pol[12, 1] with [h, u]=[9, 3] has ratio=0.19029304720902164672 at X, ratio=1.3459586941579866787 E-526 at Y, witness=2. Pol[13, 1] with [h, u]=[11, 4] has ratio=0.7988632455445099680 at X, ratio=2.705106191577981777 E-2072 at Y, witness=3. Pol[14, 1] with [h, u]=[11, 4] has ratio=0.5879683733948107924 at X, ratio=5.729182302094451322 E-1658 at Y, witness=7. Pol[15, 1] with [h, u]=[11, 4] has ratio=0.20157952745575956748 at X, ratio=1.5662164538413438264 E-1326 at Y, witness=3. Pol[16, 1] with [h, u]=[11, 4] has ratio=0.03799087820589632892 at X, ratio=2.4037707347372343734 E-1061 at Y, witness=5. Pol[17, 1] with [h, u]=[11, 4] has ratio=6.805870978374302317 E-294 at X, ratio=5.834854748410778662 E-866 at Y, witness=7. Pol[18, 1] with [h, u]=[11, 4] has ratio=0.3855146123056651324 at X, ratio=3.531470981941500048 E-676 at Y, witness=3. Pol[19, 1] with [h, u]=[11, 4] has ratio=0.09645573635074524173 at X, ratio=3.946236461991331100 E-541 at Y, witness=11. Pol[20, 1] with [h, u]=[11, 4] has ratio=0.13115773044762876517 at X, ratio=4.269430608888790155 E-433 at Y, witness=2. Pol[21, 1] with [h, u]=[11, 4] has ratio=0.021979810579158670382 at X, ratio=1.5671279474018330450 E-358 at Y, witness=5. Pol[22, 1] with [h, u]=[12, 5] has ratio=0.11311345155551398115 at X, ratio=4.612269058078487522 E-1324 at Y, witness=2. Pol[23, 1] with [h, u]=[12, 5] has ratio=0.15487399087798378634 at X, ratio=1.0309235804377548964 E-1203 at Y, witness=7. Pol[24, 1] with [h, u]=[12, 5] has ratio=0.04822323993144247014 at X, ratio=7.638143747645795296 E-1189 at Y, witness=5. Pol[25, 1] with [h, u]=[12, 5] has ratio=2.918519001546996623 E-230 at X, ratio=2.4379408198280995110 E-1145 at Y, witness=7. Pol[26, 1] with [h, u]=[12, 5] has ratio=2.5170225595087714496 E-192 at X, ratio=1.4571031045286548121 E-954 at Y, witness=19. Validated in 15 sec. Congratulations! n is prime! Goodbye!