Moufang loops of odd order with non-trivial nucleus
It has been proven by F. Leong and the first author (J. Algebra 190 (1997), 474–486) that all Moufang loops of order where and are odd primes, are associative if , and