check_covering seed2026 max (claimed R=1.569744): max critical value=0.773475 (<=1: connected) R=1.569744
check_covering seed7 max (claimed R=1.608644): max critical value=0.955075 (<=1: connected) R=1.608644
lemma_checks seed7 worst (claimed 1.844840): max critical value=0.962803 R=1.844840
