# Checker for A16 # Standard relations chor 1 3 chor 2 15 mu 1 2 3 chor 3 14 com 1 2 4 chor 4 2 # Compute word t whose order is in the taming set of the 3-cycles pwr 8 2 5 mu 1 5 6 chor 6 39 # Power up to a 3-cycle t^(o/3) pwr 13 6 7 # Check whether x is a 3-cycle mu 1 7 8 chor 8 2