# Checker for Lyons group Ly

# Check orders from definition
chor 1 2
chor 2 5
mu 1 2 3
chor 3 14
mu 3 2 4
mu 3 4 5
mu 3 5 6
chor 6 67

# Find (3A, 5, 14) pair with right fingerprint to
# prove that b is in 5A
pwr 5 3 7
mu 4 4 8
mu 7 8 9
chor 9 42
pwr 14 9 10     # This is in 3A
mu 5 6 11
cj 2 11 12      # This is in 5A (providing b is)
mu 10 12 13
chor 13 14      # We have a (3A, 5, 14) pair...
mu 13 12 14
mu 13 14 15
chor 15 30      # ...and it must be the unique (3A,5A,14) one.

