realprecision = 52017 significant digits (52000 digits displayed) Welcome to the CHG primality prover! ------------------------------------ Input file is: 13566_12601.in Certificate file is: 13566_12601.out Found values of n, F and G. Number to be tested has 52069 digits. Modulus has 13393 digits. Modulus is 25.721272250031257016% 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. A certificate has been saved to the file: 13566_12601.out Running David Broadhurst's verifier on the saved certificate... Testing a PRP called "13566_12601.in". Pol[1, 1] with [h, u]=[5, 1] has ratio=2.4894791829900537567 E-2400 at X, ratio=5.402482312076293144 E-2400 at Y, witness=11. Pol[2, 1] with [h, u]=[5, 1] has ratio=0.3804410695956168429 at X, ratio=4.488957896449473794 E-1174 at Y, witness=13. Pol[3, 1] with [h, u]=[5, 1] has ratio=0.10645058005844364175 at X, ratio=1.3133465742290065482 E-587 at Y, witness=5. Pol[4, 1] with [h, u]=[4, 1] has ratio=4.693605804185744262 E-208 at X, ratio=3.167504236330723830 E-501 at Y, witness=43. Pol[5, 1] with [h, u]=[7, 2] has ratio=1.911584827414002637 E-155 at X, ratio=8.096199574909001480 E-1344 at Y, witness=7. Pol[6, 1] with [h, u]=[7, 2] has ratio=4.100144169980898339 E-353 at X, ratio=1.7907217922044113801 E-1145 at Y, witness=13. Pol[7, 1] with [h, u]=[7, 2] has ratio=5.614308419741970292 E-485 at X, ratio=3.066514048743685409 E-1013 at Y, witness=7. Pol[8, 1] with [h, u]=[8, 2] has ratio=0.11065777263378644697 at X, ratio=2.2446863428327435821 E-771 at Y, witness=3. Pol[9, 1] with [h, u]=[8, 2] has ratio=0.0014721629677842621839 at X, ratio=1.998735375039602495 E-441 at Y, witness=17. Pol[10, 1] with [h, u]=[8, 2] has ratio=0.023340887909005042757 at X, ratio=7.676847518515411285 E-253 at Y, witness=11. Pol[11, 1] with [h, u]=[8, 2] has ratio=0.012530109467742766383 at X, ratio=5.960150463077463798 E-145 at Y, witness=5. Pol[12, 1] with [h, u]=[10, 3] has ratio=0.022995053425975649579 at X, ratio=2.375930610240378670 E-1215 at Y, witness=7. Pol[13, 1] with [h, u]=[10, 3] has ratio=0.019148722017039090361 at X, ratio=1.3037324080759719123 E-810 at Y, witness=5. Pol[14, 1] with [h, u]=[10, 3] has ratio=0.019716671122186578405 at X, ratio=6.662003326174531365 E-541 at Y, witness=7. Pol[15, 1] with [h, u]=[10, 3] has ratio=0.006205818330951102057 at X, ratio=4.003188341619122430 E-361 at Y, witness=3. Pol[16, 1] with [h, u]=[10, 3] has ratio=0.12683534880234096968 at X, ratio=3.522604260533712282 E-241 at Y, witness=7. Pol[17, 1] with [h, u]=[10, 3] has ratio=0.08326598278024428758 at X, ratio=2.8269662432783756078 E-161 at Y, witness=2. Pol[18, 1] with [h, u]=[10, 3] has ratio=0.06130307125489680208 at X, ratio=4.650475549384534836 E-108 at Y, witness=11. Pol[19, 1] with [h, u]=[12, 4] has ratio=0.03424234110026820113 at X, ratio=3.524929082471335092 E-983 at Y, witness=2. Pol[20, 1] with [h, u]=[12, 4] has ratio=0.031031128618767289271 at X, ratio=1.8987582742912869545 E-715 at Y, witness=5. Pol[21, 1] with [h, u]=[12, 4] has ratio=0.023858290449355241323 at X, ratio=9.234453124557877973 E-521 at Y, witness=5. Pol[22, 1] with [h, u]=[12, 4] has ratio=0.04073541554977149648 at X, ratio=3.707035657551439670 E-379 at Y, witness=7. Pol[23, 1] with [h, u]=[12, 4] has ratio=0.07399585977173953416 at X, ratio=3.6093861739463098285 E-276 at Y, witness=2. Pol[24, 1] with [h, u]=[14, 5] has ratio=0.011685573515190103179 at X, ratio=1.7737135894787988069 E-978 at Y, witness=2. Pol[25, 1] with [h, u]=[14, 5] has ratio=0.03271150155533803883 at X, ratio=4.392782005274386138 E-753 at Y, witness=3. Pol[26, 1] with [h, u]=[14, 5] has ratio=0.03767242191760857304 at X, ratio=1.2679715572739505269 E-579 at Y, witness=13. Pol[27, 1] with [h, u]=[14, 5] has ratio=0.05504155054411070800 at X, ratio=2.2960530024725714356 E-446 at Y, witness=3. Pol[28, 1] with [h, u]=[14, 5] has ratio=0.014330909441718775158 at X, ratio=1.0912139738256026160 E-343 at Y, witness=5. Pol[29, 1] with [h, u]=[14, 5] has ratio=0.04657623850282941785 at X, ratio=8.104078638918966393 E-265 at Y, witness=2. Pol[30, 1] with [h, u]=[14, 5] has ratio=0.028269103908787218200 at X, ratio=4.907538990462330744 E-204 at Y, witness=2. Pol[31, 1] with [h, u]=[16, 6] has ratio=2.2504166999741743671 E-186 at X, ratio=1.0172255007587273705 E-880 at Y, witness=17. Pol[32, 1] with [h, u]=[16, 6] has ratio=0.014670388800264431454 at X, ratio=4.203247949603170986 E-669 at Y, witness=2. Pol[33, 1] with [h, u]=[16, 6] has ratio=0.03231558913652386050 at X, ratio=1.2481681716284786315 E-535 at Y, witness=11. Pol[34, 1] with [h, u]=[16, 6] has ratio=0.010552877811400354839 at X, ratio=6.568984258606150838 E-429 at Y, witness=2. Pol[35, 1] with [h, u]=[16, 6] has ratio=0.0016438952549544332607 at X, ratio=1.9067753193678772465 E-343 at Y, witness=11. Pol[36, 1] with [h, u]=[18, 7] has ratio=0.010462033903590719510 at X, ratio=3.204867560435950163 E-890 at Y, witness=3. Pol[37, 1] with [h, u]=[18, 7] has ratio=3.0318507131478152702 E-33 at X, ratio=1.9710313676739811016 E-763 at Y, witness=17. Pol[38, 1] with [h, u]=[18, 7] has ratio=1.7802982155352383894 E-109 at X, ratio=2.1253583324155471537 E-625 at Y, witness=3. Pol[39, 1] with [h, u]=[19, 7] has ratio=0.002616935852812683237 at X, ratio=2.2376295088216895771 E-636 at Y, witness=5. Pol[40, 1] with [h, u]=[18, 7] has ratio=8.313455257875158781 E-5 at X, ratio=4.152237829229884588 E-386 at Y, witness=3. Pol[41, 1] with [h, u]=[18, 7] has ratio=0.003977255223120865157 at X, ratio=1.9629744689107992352 E-318 at Y, witness=2. Pol[42, 1] with [h, u]=[20, 8] has ratio=0.007453845408780560258 at X, ratio=2.8238289559965147868 E-828 at Y, witness=2. Pol[43, 1] with [h, u]=[20, 8] has ratio=1.1064156595479063887 E-14 at X, ratio=6.345201546146973617 E-710 at Y, witness=13. Pol[44, 1] with [h, u]=[20, 8] has ratio=3.2325201096424192226 E-102 at X, ratio=3.752295072662561159 E-614 at Y, witness=11. Pol[45, 1] with [h, u]=[20, 8] has ratio=0.003190238799297235426 at X, ratio=2.0465803069151954539 E-495 at Y, witness=3. Pol[46, 1] with [h, u]=[20, 8] has ratio=0.008901675711644130404 at X, ratio=1.5268056515364313700 E-417 at Y, witness=7. Pol[47, 1] with [h, u]=[20, 8] has ratio=0.010086997557998146176 at X, ratio=6.776136102956434664 E-352 at Y, witness=13. Pol[48, 1] with [h, u]=[22, 9] has ratio=0.004915562257052861389 at X, ratio=1.0427240916037025260 E-826 at Y, witness=11. Pol[49, 1] with [h, u]=[22, 9] has ratio=5.036967119425784760 E-10 at X, ratio=1.5646048755597945862 E-715 at Y, witness=2. Pol[50, 1] with [h, u]=[22, 9] has ratio=9.505511159060353295 E-85 at X, ratio=2.698418295007673213 E-622 at Y, witness=3. Pol[51, 1] with [h, u]=[22, 9] has ratio=0.007113451282065562752 at X, ratio=1.9828289707826591356 E-521 at Y, witness=3. Pol[52, 1] with [h, u]=[22, 9] has ratio=0.002537520123670261399 at X, ratio=2.617271931797789995 E-447 at Y, witness=3. Pol[53, 1] with [h, u]=[22, 9] has ratio=0.009338895789247769705 at X, ratio=1.0885619826299234628 E-383 at Y, witness=2. Pol[54, 1] with [h, u]=[22, 9] has ratio=0.00015997405934578937569 at X, ratio=3.402489804643558832 E-329 at Y, witness=7. Pol[55, 1] with [h, u]=[24, 10] has ratio=0.0009815872111829666472 at X, ratio=4.946221884349617914 E-785 at Y, witness=31. Pol[56, 1] with [h, u]=[24, 10] has ratio=0.009716518158840976687 at X, ratio=1.5197025477506282044 E-682 at Y, witness=2. Pol[57, 1] with [h, u]=[24, 10] has ratio=0.009142246308033568083 at X, ratio=8.245014465108328910 E-594 at Y, witness=7. Pol[58, 1] with [h, u]=[24, 10] has ratio=0.010592684931067421187 at X, ratio=1.0743826670320327515 E-516 at Y, witness=13. Pol[59, 1] with [h, u]=[24, 10] has ratio=0.004730176577521410686 at X, ratio=1.6031307320610722140 E-449 at Y, witness=3. Pol[60, 1] with [h, u]=[24, 10] has ratio=0.0015043529334895973041 at X, ratio=3.1229928924625594874 E-391 at Y, witness=2. Pol[61, 1] with [h, u]=[24, 10] has ratio=0.002297558681033530775 at X, ratio=1.6329719755319843940 E-340 at Y, witness=3. Pol[62, 1] with [h, u]=[24, 10] has ratio=0.0010989558723114554409 at X, ratio=2.1438068751541037306 E-296 at Y, witness=11. Pol[63, 1] with [h, u]=[26, 11] has ratio=0.004518256724622460301 at X, ratio=1.9116131697726251990 E-738 at Y, witness=2. Pol[64, 1] with [h, u]=[26, 11] has ratio=0.00019777603211514887108 at X, ratio=4.154062416491983568 E-650 at Y, witness=7. Pol[65, 1] with [h, u]=[26, 11] has ratio=0.003680232684081625398 at X, ratio=2.2059118446875667999 E-572 at Y, witness=5. Pol[66, 1] with [h, u]=[26, 11] has ratio=0.003019498694631372768 at X, ratio=4.500046341488878856 E-504 at Y, witness=2. Pol[67, 1] with [h, u]=[26, 11] has ratio=0.004572179747958840324 at X, ratio=8.749614093677177290 E-444 at Y, witness=17. Pol[68, 1] with [h, u]=[26, 11] has ratio=0.002478307247185306420 at X, ratio=7.377049657675702352 E-391 at Y, witness=2. Pol[69, 1] with [h, u]=[26, 11] has ratio=0.006304183106722960154 at X, ratio=3.489308847519294560 E-344 at Y, witness=2. Pol[70, 1] with [h, u]=[26, 11] has ratio=0.005177943816287528957 at X, ratio=3.130446213039381949 E-303 at Y, witness=13. Pol[71, 1] with [h, u]=[28, 12] has ratio=0.002982075555725458678 at X, ratio=8.000319130066700787 E-731 at Y, witness=7. Pol[72, 1] with [h, u]=[28, 12] has ratio=3.888670376327687207 E-5 at X, ratio=6.617578558523181330 E-650 at Y, witness=2. Pol[73, 1] with [h, u]=[28, 12] has ratio=0.003042428289370934380 at X, ratio=5.780414037128995380 E-578 at Y, witness=17. Pol[74, 1] with [h, u]=[28, 12] has ratio=0.006345441739953543952 at X, ratio=5.760843584327618358 E-514 at Y, witness=5. Pol[75, 1] with [h, u]=[28, 12] has ratio=0.003092301327273621756 at X, ratio=4.126588714519920773 E-457 at Y, witness=7. Pol[76, 1] with [h, u]=[28, 12] has ratio=2.7420757496255119427 E-5 at X, ratio=1.2314433332493622954 E-406 at Y, witness=11. Pol[77, 1] with [h, u]=[28, 12] has ratio=0.004049786628087093032 at X, ratio=7.975129935461492936 E-362 at Y, witness=2. Pol[78, 1] with [h, u]=[28, 12] has ratio=0.002877981026072159816 at X, ratio=5.660185580537025399 E-322 at Y, witness=5. Pol[79, 1] with [h, u]=[30, 13] has ratio=0.00020367400175697518305 at X, ratio=9.995042451071274898 E-737 at Y, witness=29. Pol[80, 1] with [h, u]=[30, 13] has ratio=0.0003659630545052296965 at X, ratio=1.0059896067860141802 E-660 at Y, witness=13. Pol[81, 1] with [h, u]=[30, 13] has ratio=0.0004596892425660513618 at X, ratio=1.1245596825180067541 E-592 at Y, witness=17. Pol[82, 1] with [h, u]=[30, 13] has ratio=4.444933689920630107 E-5 at X, ratio=1.2956466703795164909 E-531 at Y, witness=13. Pol[83, 1] with [h, u]=[30, 13] has ratio=0.0013546875610870912652 at X, ratio=5.377692960178461181 E-477 at Y, witness=7. Pol[84, 1] with [h, u]=[30, 13] has ratio=0.004343247759047161375 at X, ratio=7.923657737362995518 E-428 at Y, witness=19. Pol[85, 1] with [h, u]=[30, 13] has ratio=0.0018974682151887922359 at X, ratio=7.159450027251576467 E-384 at Y, witness=2. Pol[86, 1] with [h, u]=[32, 14] has ratio=0.0011193495829594107487 at X, ratio=3.307362066644177563 E-784 at Y, witness=13. Pol[87, 1] with [h, u]=[32, 14] has ratio=0.0012719656620735240392 at X, ratio=1.2600765280488859947 E-708 at Y, witness=2. Pol[88, 1] with [h, u]=[32, 14] has ratio=0.0017007722382381538510 at X, ratio=2.589007526033745093 E-640 at Y, witness=3. Pol[89, 1] with [h, u]=[32, 14] has ratio=0.0011239621966095606237 at X, ratio=1.6133270381362954260 E-578 at Y, witness=3. Pol[90, 1] with [h, u]=[32, 14] has ratio=0.002962866428811280526 at X, ratio=7.963131421471568590 E-523 at Y, witness=3. Pol[91, 1] with [h, u]=[32, 14] has ratio=0.0004737786774039029106 at X, ratio=1.4936327075776348424 E-472 at Y, witness=5. Pol[92, 1] with [h, u]=[32, 14] has ratio=0.002999036559238846369 at X, ratio=4.239565378023968252 E-427 at Y, witness=3. Pol[93, 1] with [h, u]=[33, 15] has ratio=0.0015716103504248889407 at X, ratio=1.6233705163125651485 E-690 at Y, witness=5. Pol[94, 1] with [h, u]=[33, 15] has ratio=0.0009720528516306483213 at X, ratio=1.4624563300183349056 E-647 at Y, witness=2. Pol[95, 1] with [h, u]=[33, 15] has ratio=0.0016071209110128027101 at X, ratio=3.266811306723826274 E-607 at Y, witness=19. Pol[96, 1] with [h, u]=[33, 15] has ratio=6.790715242216404532 E-5 at X, ratio=1.6534396089976351095 E-569 at Y, witness=23. Pol[97, 1] with [h, u]=[33, 15] has ratio=2.305836918203147871 E-47 at X, ratio=3.017550599053303957 E-542 at Y, witness=17. Pol[98, 1] with [h, u]=[33, 15] has ratio=0.0003132912833194951055 at X, ratio=7.041709812062469138 E-501 at Y, witness=3. Pol[99, 1] with [h, u]=[33, 15] has ratio=0.00010381855732628312376 at X, ratio=1.0281115815014236307 E-469 at Y, witness=2. Pol[100, 1] with [h, u]=[33, 15] has ratio=5.709542476166890076 E-5 at X, ratio=1.3885400042279570833 E-440 at Y, witness=5. Pol[101, 1] with [h, u]=[33, 15] has ratio=0.0008024360112677042579 at X, ratio=2.871830130321318198 E-413 at Y, witness=3. Pol[102, 1] with [h, u]=[35, 16] has ratio=0.0006431084005783992378 at X, ratio=2.655334299517379657 E-774 at Y, witness=19. Pol[103, 1] with [h, u]=[35, 16] has ratio=0.0013724417078822095663 at X, ratio=6.299633514531524022 E-729 at Y, witness=7. Pol[104, 1] with [h, u]=[35, 16] has ratio=0.00016409370859688819036 at X, ratio=3.591161600848736701 E-686 at Y, witness=2. Pol[105, 1] with [h, u]=[35, 16] has ratio=0.0003371099110431692959 at X, ratio=4.574200053245226831 E-646 at Y, witness=3. Pol[106, 1] with [h, u]=[35, 16] has ratio=0.0013780939953631661623 at X, ratio=3.1053850964424753451 E-608 at Y, witness=17. Pol[107, 1] with [h, u]=[35, 16] has ratio=0.0012634442562915597624 at X, ratio=1.2071779535211586499 E-572 at Y, witness=7. Pol[108, 1] with [h, u]=[35, 16] has ratio=0.0009509160120657143096 at X, ratio=3.664197844212431716 E-539 at Y, witness=5. Pol[109, 1] with [h, u]=[35, 16] has ratio=0.0012416213893022336129 at X, ratio=1.2617493645136516844 E-507 at Y, witness=2. Pol[110, 1] with [h, u]=[37, 17] has ratio=0.0005014903003969991146 at X, ratio=1.0707641560487497538 E-862 at Y, witness=2. Pol[111, 1] with [h, u]=[37, 17] has ratio=0.00014115728264053220464 at X, ratio=5.321173990387323509 E-815 at Y, witness=7. Pol[112, 1] with [h, u]=[37, 17] has ratio=0.0006110234674935873028 at X, ratio=7.943581420317548193 E-770 at Y, witness=3. Pol[113, 1] with [h, u]=[37, 17] has ratio=0.0002593523888733372489 at X, ratio=2.485139994748119728 E-727 at Y, witness=5. Pol[114, 1] with [h, u]=[37, 17] has ratio=0.0002718043882476924415 at X, ratio=4.429909256595173274 E-687 at Y, witness=2. Pol[115, 1] with [h, u]=[37, 17] has ratio=0.0004584158201135520740 at X, ratio=4.803298759557953939 E-649 at Y, witness=11. Pol[116, 1] with [h, u]=[37, 17] has ratio=0.0003735121701887297607 at X, ratio=3.992442021987881573 E-613 at Y, witness=3. Pol[117, 1] with [h, u]=[38, 18] has ratio=0.0009539172778557520721 at X, ratio=5.405378021477799614 E-860 at Y, witness=3. Pol[118, 1] with [h, u]=[38, 18] has ratio=6.856980085540758813 E-6 at X, ratio=8.058452881822857081 E-837 at Y, witness=11. Pol[119, 1] with [h, u]=[38, 18] has ratio=0.00013539517596066697092 at X, ratio=2.632019495411102543 E-814 at Y, witness=2. Validated in 256 sec. Congratulations! n is prime! Goodbye!