A balanced ternary design of order v with block size three, index 2 and P2 = 1 is a collection of multi-subsets of size 3 (of type { x, y, z} or {x, x, y }) called blocks, in which each unordered pair of distinct elements occurs twice possibly in one block and in which each element is repeated in just one block. So there are precisely v blocks of type {x, x, y}. Necessarily v == 0 (mod 3). We d...