A Howell design of side s and order 2n, or more briefly an H(s, 2n), is an s x s array in which each cell is either empty or contains an unordered pair of elements from some (2n)-set V such that (1) every element of V occurs in precisely one cell of each row and each column, and (2) every unordered pair of elements from V is in at most one cell of the array. It follows immediately from the defi...