# Checker for M12.2

chor 1 2
chor 2 3
mu 1 2 3
chor 3 12
pwr 4 3 4
mu 4 2 5
chor 5 6