Necessary conditions for the existence of group divisible designs with block size three are developed. A computation is described that establishes the sufficiency of these conditions for sixty and fewer elements.
1970-2025 CP (Manitoba, Canada) unless otherwise stated.