# Checker for Co2

# Check orders from the definition
chor 1 2
chor 2 5
mu 1 2 3
chor 3 28

# Check x is in 2A using (xy)^14 as reference 2A element
pwr 14 3 4
mu 1 4 5
chor 5 3

# Nothing more required; if y had been 5B, the order would have been 2.
