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