# Checker for Fi24':2

# Check orders from the definition
chor 1 2
chor 2 8
mu 1 2 3
chor 3 29

# Show that x is in 2C
pwr 5 2 4
mu 3 4 5
mu 3 5 6
chor 6 54
pwr 27 6 7
mu 1 7 8  
chor 8 3

# Show that y is in 8D by looking at o(xy^2)
mu 3 2 9
chor 9 20
