# Checker for A12

# Standard relations
chor 1 3
chor 2 11
mu 1 2 3
chor 3 10
com 1 2 4
chor 4 2

# Compute word t whose order is in the taming set of the 3-cycles
mu 3 2 5
mu 5 2 6
mu 6 5 7
chor 7 30

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

# Compute word u to conjugate by
mu 2 2 9
mu 6 9 10

# Check whether x is a 3-cycle
cj 8 10 11
mu 1 11 12
chor 12 2