chor 1 2
chor 2 4
mu 1 2 3
chor 3 13
mu 3 2 4
chor 4 8

# If we can show x is 2A, then the (2,2,8) structure constants prove
# that if xyy has order 8 then that yy is in 2B (and hence y is in 4B)
# To show x is in 2A, xyxyxy^2 has order 20, so powers to 2A.

mu 3 3 5
mu 5 4 6
chor 6 20
pwr 10 6 7
cj 1 2 8
mu 8 7 9
chor 9 5