file: tree_K4_N7_v2nogoods.jsonl  N=7 K=4
order-feasible patterns per K-subset: 6
nodes=56 branching=56 solution_nodes=0 continued=55 refuted=281
nodes per depth: {0: 1, 1: 6, 2: 14, 3: 17, 4: 12, 5: 4, 6: 2}
certificates: max entry denominator=11, max lcm of denominators=11, nonzero entries 1..7
explicit multipliers computed and identity re-checked for 281 certificates
VERDICT: CLOSED
