# Checker for A18 # Standard relations chor 1 3 chor 2 17 mu 1 2 3 chor 3 16 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 pwr 4 2 6 mu 5 6 7 mu 7 5 8 chor 8 66 # Power up to a 3-cycle t^(o/3) pwr 22 8 9 # Compute word u to conjugate by mu 7 2 10 mu 10 2 11 # Check whether x is a 3-cycle cj 9 11 12 mu 1 12 13 chor 13 2