# Checker for L4(5)
# Standard checker works.

chor 1 2
chor 2 3
mu 1 2 3
chor 3 39
mu 3 2 4
mu 3 4 5
chor 5 20