# Checker for L3(11) # Standard relations chor 1 3 chor 2 11 mu 1 2 3 chor 3 120 mu 3 2 4 chor 4 10 mu 3 4 5 chor 5 40 # Check that b is in 3B # Let z=(ab^2)^5 (in 2A) # Then o(zb) = 10. # Fingerprinting shows o(zb^2) = 24, o(zb^10(zb)^2)=2 => b in 11A pwr 5 4 6 mu 6 2 7 chor 7 10 mu 7 2 8 chor 8 24 pwr 9 2 9 mu 7 9 10 mu 10 7 11 mu 11 7 12 chor 12 2