Latin and semi-Latin factorizations of complete graphs and support sizes of quadruple systems