# Checker for Monster group M # Check orders from definition chor 1 2 chor 2 3 mu 1 2 3 chor 3 29 # Find a 2A element d mu 3 2 4 pwr 4 3 5 mu 4 4 6 mu 5 6 7 chor 7 50 pwr 25 7 8 # Check the order of ad; it should be 5, # proving that a is a 2A element mu 1 8 9 chor 9 5 # Find the order of ab^f for some f; it should be 34, # proving that b is a 3B element. mu 5 4 10 iv 10 11 mu 1 11 12 mu 12 2 13 mu 13 10 14 chor 14 34