file: tree_K4_N8_v2nogoods.jsonl  N=8 K=4
order-feasible patterns per K-subset: 6
nodes=65 branching=65 solution_nodes=0 continued=64 refuted=326
nodes per depth: {0: 1, 1: 6, 2: 17, 3: 20, 4: 20, 5: 1}
certificates: max entry denominator=15, max lcm of denominators=15, nonzero entries 1..7
explicit multipliers computed and identity re-checked for 326 certificates
VERDICT: CLOSED
