# Checker for Fi24'

# Check orders from definition
chor 1 2
chor 2 3
mu 1 2 3
chor 3 29
pwr 3 3 4
mu 4 2 5
chor 5 33

# Find a 2A element z by powering up an element of order 60
mu 4 4 6
mu 6 2 7
chor 7 60
pwr 30 7 8

# Verify that xz^(xyxy) has order 5, proving that x is in 2A.
mu 3 3 9
cj 8 9 10
mu 1 10 11
chor 11 5
