# Checker for He

# Check orders from the definition
chor 1 2
chor 2 7
mu 1 2 3
chor 3 17

# Check that x is a 2A element
mu 3 2 4
mu 4 3 5
mu 4 4 6
mu 5 6 7
chor 7 10
pwr 5 7 8
mu 1 8 9
chor 9 3

# 22/9/04: no more is required. Fingerprinting shows that these conditions
# are redundant
#mu 4 2 10
#chor 10 8
