# Standard relations
chor 1 2
chor 2 7
mu 1 2 3
chor 3 127
pwr 4 3 5
mu 5 2 6
chor 6 7

# Show x is in 2A (then y is necessarily in 7E)
pwr 5 2 7
mu 3 3 8
mu 8 7 9
mu 9 3 10
chor 10 60
pwr 30 10 11
mu 1 11 12
chor 12 3