# Checker for Fi22.2

# Check orders from the definition
chor 1 2
chor 2 18
mu 1 2 3
chor 3 42

# Check a is in 2A
pwr 4 2 4
mu 3 4 5
mu 1 4 6
mu 3 5 7
mu 7 6 8
chor 8 22
pwr 11 8 9
mu 1 9 10
chor 10 3

# Check b^9 is in 2D (so b is in 18E or 18F)
pwr 21 3 11
pwr 3 2 12
pwr 3 12 13
mu 1 12 14
cj 13 14 15
mu 15 11 16
chor 16 3

# In fact, the assertions tested so far are incompatible
# with any of the 4 (2A, 18F, 42) fingerprints, so
# b must be in 18E, and (a,b) are standard generators.