# Checker for A13

# Standard relations
chor 1 3
chor 2 11
mu 1 2 3
chor 3 13

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

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

# Compute word u to conjugate by
pwr 10 2 11
mu 4 11 12

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