# Checker for Co1

# Check orders in definition
chor 1 2
chor 2 3
mu 1 2 3
chor 3 40
mu 3 2 4
mu 3 4 5
chor 5 6

# Construct a 2B element z
# If x^(y^2)*z has odd order, then x must be in 2B
mu 5 5 7
mu 3 7 8
chor 8 42
pwr 21 8 9
mu 2 4 10
mu 10 9 11
chor 11 11

# There are only two (2A,3,36) fingerprints to consider,
# one for 3C and one for 3D. We will thus show that y is in 3C.
# This is easier than checking the (2B,3,40) fingerprints.
pwr 20 3 12      # 2A element
mu 3 3 13
mu 13 5 14
cj 2 14 15       # 3C element
mu 12 15 16
chor 16 36
mu 16 16 17
mu 16 15 18
mu 17 18 19
chor 19 18
