# Checker for HN

# Check orders in definition
chor 1 2
chor 2 3
mu 1 2 3
chor 3 22
mu 3 2 4
mu 3 4 5
chor 5 5

# Check that x is in 2A
pwr 11 3 6
mu 4 3 7
mu 7 3 8
mu 8 5 9
cj 6 9 10
mu 1 10 11
chor 11 5