# Checker for A21
# Standard relations
chor 1 3
chor 2 19
mu 1 2 3
chor 3 21
# Compute word t whose order is in the taming set of the 3-cycles
mu 1 1 4
pwr 8 2 5
mu 4 5 6
mu 6 3 7
chor 7 51
# Power up to a 3-cycle t^(o/3)
pwr 17 7 8
# Compute word u to conjugate by
pwr 18 2 9
mu 1 9 10
# Check whether x is a 3-cycle
cj 8 10 11
mu 1 11 12
chor 12 2