“…Proof Start with a (3, λ)-GDD of type n 3 c 1 . Then place a TS λ (n) on one group of size n. ✷ Lemma 4.6 There exists a ✸-ITS 2 (v; w, u, y; z 1 , z 2 ) for (v, w, u, y, z 1 , z 2 ) ∈ { (11,3,3,2,0,0), (11,4,3,2,1,0), (12,3,3,3,0,0), (13,3,3,4,0,0), (13,4,3,4,1,0), (14, 5, 4, 5, 2, 3), (18, 7, 4, 5, 2, 3), (22, 6, 6, 4, 0, 0), (23, 8, 7, 5, 2, 3), (23, 8, 7, 8, 2, 6), (24,8,6,6,2,0)}.…”