families hitting 9 or 49 (pairs <= 49 / <= 7 / <= 3): [] 0
lower bounds: F2 det >= tau(W3) = 16 and F3 det >= tau(W4) = 45 for positive pairs (monotone in pairs)
