# Checker for A16

# Standard relations
chor 1 3
chor 2 15
mu 1 2 3
chor 3 14
com 1 2 4
chor 4 2

# Compute word t whose order is in the taming set of the 3-cycles
pwr 8 2 5
mu 1 5 6
chor 6 39

# Power up to a 3-cycle t^(o/3)
pwr 13 6 7

# Check whether x is a 3-cycle
mu 1 7 8
chor 8 2
