truncated 5-cell f=(20, 40, 30, 10): the pair of 10-cycles from the two 5-cycles of K5: lk(M1) = 1, lk(M2) = -1
truncated 5-cell       f=(20, 40, 30, 10)  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; complete partition search: linked pair found (partitions tested 11552)  (2 s)
dual of the truncated 5-cell: f=(10, 30, 40, 20) (stacked polytope: simplex with all 5 facets stacked)
dual(truncated 5-cell) f=(10, 30, 40, 20)  K6 minor (SAT): UNSAT; complete partition search: NO linked pair (partitions tested 280)  (0 s)
