# Checker for O'N.2

# Check orders from the definition
chor 1 2
chor 2 4
mu 1 2 3
chor 3 22

# Show that b is in 4A by finding an element of order 5
# which commutes with it.
mu 2 1 4
mu 3 4 5
mu 5 4 6
mu 2 2 7
cj 7 6 8
mu 7 8 9
pwr 7 9 10
mu 6 10 11    # This element is in C(b^2)
mu 11 11 12   # We claim this is in C(b) and has order 5
chor 12 5
com 12 2 13
chor 13 1