Latin squares with pairwise orthogonal conjugates

Let L¹ denote the set of integers n such that there exists an idempotent Latin square of order n with all of its conjugates distinct and pairwise orthogonal. It is known that L¹ contains all sufficiently large integers. That is, there is a smallest integer n_o such that L¹ contains all integers greater than n_o. However, no upper bound for n_o has been given and the term “sufficiently large” is unspecified. The main purpose of this paper is to establish a concrete upper bound for n_o. In particular it is shown that L¹ contain all integers n>5594, with the possible exception of n=6810.