dual(cyclic9)          f=(27, 54, 36, 9)  K6 minor (SAT): SAT; lk of the 10 pairs of the model: [0, 0, 0, 0, 0, 0, 0, 0, 0, -1]; odd: 1 (Conway-Gordon parity OK); nonzero pairs confirmed by M2: True  (6 s)
dual(cyclic10)         f=(35, 70, 45, 10)  K6 minor (SAT): SAT; lk of the 10 pairs of the model: [0, 0, 0, 1, 0, 0, 0, 0, 0, 0]; odd: 1 (Conway-Gordon parity OK); nonzero pairs confirmed by M2: True  (8 s)
