# 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.