# Checker for U4(4)

chor 1 2
chor 2 4
mu 1 2 3
chor 3 20
pwr 9 3 4
mu 2 4 5
chor 5 3