**Supplemental Files**

**
***J.D.
Phillips*

* *

**(1) The Moufang laws, global and
local**, *The Journal of Algebra and its Applications, ***8 (4)**, (2009) 477–492.

(1)
Here are the prover9 input files
to the fact cited immediately after Example 3.1. Here are the Prover9 output
files to the same result.

(2) Here is the Cayley
table to the 36 element loop from Example 3.10.

(3) Here are the two Prover9 input
files (the other two are mirrors) for Theorem 4.1. Here are the Prover9 output
files to the same results.

(4) Here are the three Prover9 input
files for Theorem 4.4. Here
are the Prover9 output files to the same result.

(5) Here are the Prover9 input files
for Theorem 5.2. Here are the
Prover9 output files to the same result.

(6) Here are the Prover9 input files
for Theorem 5.9. Here are the
Prover9 output files to the same result.

(7) Here are the Prover9 input files
for Theorem 5.12. Here are
the Prover9 output files to the same result.

(8) Here is the Prover9 input file
for Theorem 6.2. Here is the
Prover9 output file to the same result.

(9) Here are the Prover9 input files
for Lemma 6.3. Here are the
Prover9 output files to the same result.

**(2) Bruck loops with abelian inner mapping groups**,
with David Stanovsky, *Communications in Algebra*, *,** ***(40)**, (2012) no. 7, 2449–2454.

All
relevant Waldmeister files may be found here.

**(3) Cheban loops**,
with Victor Shcherbacov, *Journal of Generalized Lie Theory and
Applications, ***4**, (2010), Art. ID G100501,
5 pp.

(1)
Here is
the prover9 input file accompanying Theorem 3.3. Here is
the prover9 output file for this result.

(2) Here are
the prover9 input files for Theorem 3.5. Here is
the prover9 output file for this result.

(3) Here
are the prover9 input files for Lemma 3.5. Here
is the prover9 output file for this result.

(4) Here
are the prover9 input files for Theorem 3.9. Here
is the prover9 output file for this result.

**(4) Moufang Magmas with Inverses**,
*The Journal of
Algebra and its Applications, ***(13)**, (2014) no. 3, 1350104.

(1) Here is the prover9 output file for this result.

**(4) The Commingling of commutativity
and associativity in Bol
loops**, submitted.

(1) Here are the Prover9 input files
for Theorem 2.2. Here are the
Prover9 output files to this result.

(2) Here are the Prover9 input files
for Lemma 3.5. Here are the
Prover9 output files to this result.

(3) Here are the Prover9 input files
for Theorem 4.1. Here are the
Prover9 output files to this result.

(4) Here are the Prover9 input files
for Theorem 4.2. Here are the
Prover9 output files to this result.

(5) Here are the Prover9 input
files for (1) in Theorem 4.3. Here
are the Prover9 output files to this result.

(6) Here are the Prover9 input
files for (2) in Theorem 4.3. Here
are the Prover9 output files to this result.

(7) Here are the Prover9 input files
for Theorem 4.4. Here are the
Prover9 output files to this result.

(8) Here are the Prover9 input files
for Theorem 5.1. Here are the
Prover9 output files to this result.

(9) Here are the Prover9 input files
for Theorem 5.2. Here are the
Prover9 output files to this result.

(10)
Here are the
Prover9 input files for Theorem 5.4. Here are the Prover9 output
files to this result.

(11)
Here are the Prover9 input files
for Theorem 5.7. Here are the
Prover9 output files to this result.

(12)
Here is the Prover9 input file
for Theorem 5.8. Here is the
Prover9 output file to these two results.

(13)
Here are the Prover9 input files for
the first remark after Problem 5.11. Here
are the Prover9 output files to this result.

(14)
Here are the Prover9 input files
for Theorem 6.1. Here are the
Prover9 output files to this result.

(15)
Here are the Prover9 input files
for Theorem 6.2. Here are the
Prover9 output files to this result.

(16)
Here are the Prover9 input files
for Theorem 6.3. Here are the
Prover9 output files to this result.

(17)
Here are the Prover9 input files
for Theorem 6.4. Here are the
Prover9 output files to this result.