# Checker for L4(4)
# We need the extra condition o(xyxy^2) = 21

chor 1 2
chor 2 4
mu 1 2 3
chor 3 30

mu 3 2 4
mu 3 4 5
chor 5 21