control R6: random 6-gons, histogram of |Delta(-1)|: {1: 3978, 3: 18} -> OK
control R7: random 7-gons, histogram of |Delta(-1)|: {1: 3955, 3: 42, 5: 2} -> OK
control K7: Schlegel diagram of C(7,4): 360 Hamiltonian cycles, |Delta(-1)| histogram {1: 359, 3: 1}, knotted: 1, with |Delta(-1)| = +-3 mod 8 (Arf invariant 1): 1 (must be odd) -> OK
prism over tetrahedron: f-vector (8, 16, 14, 6), cycles of length >= 6 tested: 126, knotted: 0
3-3 duoprism: f-vector (9, 18, 15, 6), cycles of length >= 6 tested: 261, knotted: 0
3-4 duoprism: f-vector (12, 24, 19, 7), cycles of length >= 6 tested: 1488, knotted: 0
3-5 duoprism: f-vector (15, 30, 23, 8), cycles of length >= 6 tested: 7245, knotted: 0
seed 33: random polytopes with 7-9 vertices (distinct invariants): without Petersen-family minor 181 (cycles of length >= 6 tested: 199895, polytopes with a knotted cycle: 0); with minor 100 (cycles tested: 327485, polytopes with a knotted cycle: 11); time 306 s
ALERTS (knotted cycle in a minor-free polytope): 0
