tests: trefoil w = 3 | 5_1 w = 5 | 4_1 w = 0 tau 5
certificates 16703: writhe != 0: 0 [] ; FMP checks (n,q) pairs 17301, cyclic q-part: 0 []
