# Checker for A15

# Standard relations
chor 1 3
chor 2 13
mu 1 2 3
chor 3 15
mu 3 2 4
chor 4 15

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

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

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

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