# 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
