# Checker for A8

# Standard relations
chor 1 3
chor 2 7
mu 1 2 3
chor 3 6
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
chor 5 15

# Power up to a 3-cycle t^(o/3)
pwr 5 5 6

# Compute word u to conjugate by
mu 1 5 7

# Check whether x is a 3-cycle
cj 6 7 8
mu 1 8 9
chor 9 2