# 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

