non-strict variant, n <= 400, k >= 3: pairs not excluded by Theorem 5.3: []
