n=41 t=176: feasible, implied L=180; phantom [((23, 9, 9), 4), ((14, 14, 13), 36)]
   tested (23, 9, 9) (slack 0): split (23,9,9) target 176: U=176; need L1>=12 (13 cands mod transl), L2>=12 (13 cands); |R|=4 (17550 subsets)
   -> exact max 175 < t: KILLED
n=41: INFEASIBLE at L=176 with no 27-part, after killing [(23, 9, 9)] -> every layout with 176 sets contains a whole hyperplane
n=42 t=186: feasible, implied L=1748/9; phantom [((24, 9, 9), 3), ((22, 10, 10), 1), ((14, 14, 14), 36)]
   tested (22, 10, 10) (slack 0): split (22,10,10) target 186: U=186; need L1>=12 (26 cands mod transl), L2>=12 (26 cands); |R|=5 (80730 subsets)
   -> exact max 185 < t: KILLED
n=42 t=186: feasible, implied L=1730/9; phantom [((24, 9, 9), 3), ((21, 11, 10), 1), ((17, 13, 12), 1), ((16, 13, 13), 1), ((15, 14, 13), 1), ((14, 14, 14), 33)]
   tested (24, 9, 9) (slack 0): split (24,9,9) target 186: U=186; need L1>=12 (13 cands mod transl), L2>=12 (13 cands); |R|=3 (2925 subsets)
   -> exact max 185 < t: KILLED
n=42: INFEASIBLE at L=186 with no 27-part, after killing [(22, 10, 10), (24, 9, 9)] -> every layout with 186 sets contains a whole hyperplane
n=43 t=197: feasible, implied L=1865/9; phantom [((25, 9, 9), 3), ((16, 14, 13), 2), ((15, 14, 14), 35)]
   tested (25, 9, 9) (slack 0): split (25,9,9) target 197: U=197; need L1>=12 (13 cands mod transl), L2>=12 (13 cands); |R|=2 (351 subsets)
   -> exact max 188 < t: KILLED
n=43: INFEASIBLE at L=197 with no 27-part, after killing [(25, 9, 9)] -> every layout with 197 sets contains a whole hyperplane
n=44 t=209: feasible, implied L=216; phantom [((26, 9, 9), 2), ((22, 11, 11), 1), ((20, 12, 12), 1), ((17, 14, 13), 1), ((16, 14, 14), 1), ((15, 15, 14), 34)]
   tested (22, 11, 11) (slack 0): split (22,11,11) target 209: U=209; need L1>=13 (1 cands mod transl), L2>=13 (117 cands); |R|=5 (80730 subsets)
   -> exact max -1 < t: KILLED
n=44 t=209: feasible, implied L=646/3; phantom [((26, 9, 9), 2), ((21, 12, 11), 2), ((17, 14, 13), 1), ((16, 14, 14), 2), ((15, 15, 14), 33)]
   tested (26, 9, 9) (slack 0): split (26,9,9) target 209: U=209; need L1>=12 (13 cands mod transl), L2>=12 (13 cands); |R|=1 (27 subsets)
   -> exact max 200 < t: KILLED
n=44: INFEASIBLE at L=209 with no 27-part, after killing [(22, 11, 11), (26, 9, 9)] -> every layout with 209 sets contains a whole hyperplane
