# Checker for Baby Monster group B
# SJN 19/8/2004

# Check orders from definition.
chor 1 2
chor 2 3
mu 1 2 3       # ab
chor 3 55
mu 3 2 4     
mu 3 4 5     
mu 3 5 6     
mu 6 3 7     
mu 7 4 8     
mu 3 8 9     
mu 9 4 10      # ababababbababbabb
chor 10 23

# Show that a is a 2C element.
mu 5 9 11    
mu 5 11 12     # ababbababbababababbababb
chor 12 52
pwr 26 12 13   # c: a 2C element
mu 1 13 14     # ac
chor 14 35     # ac has order 35, so a is in 2C.

# We now need to show that b is in 3A rather than 3B.
# A product 2A*3B can never have order 2, 4, 8 or 14, but the
# product 2A*3A can.
mu 9 10 15
chor 15 38
pwr 19 15 16   # d: a 2A element
cj 2 1 17
mu 16 17 18
chor 18 8      # db^a has order 8, so b must be in 3A.
