n=51 t=290: feasible, implied L=2744/9; phantom [((26, 13, 12), 4), ((20, 16, 15), 1), ((19, 16, 16), 1), ((18, 17, 16), 1), ((17, 17, 17), 33)]
   tested (26, 13, 12) (slack 0): split (26,13,12) target 290: U=290; need L1>=16 (3 cands mod transl), L2>=14 (936 cands); |R|=1 (27 subsets)
   -> exact max 288 < t: KILLED
n=51 t=290: feasible, implied L=2717/9; phantom [((26, 14, 11), 1), ((25, 13, 13), 4), ((17, 17, 17), 35)]
   tested (26, 14, 11) (slack 0): split (26,14,11) target 290: U=290; need L1>=19 (2 cands mod transl), L2>=13 (117 cands); |R|=1 (27 subsets)
   -> exact max 287 < t: KILLED
n=51 t=290: feasible, implied L=301; phantom [((25, 13, 13), 5), ((21, 15, 15), 1), ((19, 16, 16), 1), ((17, 17, 17), 33)]
   tested (25, 13, 13) (slack 3): split (25,13,13) target 290: U=293; need L1>=13 (34 cands mod transl), L2>=13 (168586 cands); |R|=2 (351 subsets)
   -> exact max 289 < t: KILLED
n=51 t=290: feasible, implied L=2684/9; phantom [((25, 14, 12), 5), ((20, 16, 15), 1), ((19, 16, 16), 1), ((17, 17, 17), 33)]
   tested (25, 14, 12) (slack 3): split (25,14,12) target 290: U=293; need L1>=16 (37 cands mod transl), L2>=11 (63492 cands); |R|=2 (351 subsets)
   -> exact max 288 < t: KILLED
n=51 t=290: feasible, implied L=887/3; phantom [((24, 14, 13), 6), ((23, 14, 14), 1), ((19, 16, 16), 2), ((17, 17, 17), 31)]
