# Checker for S4(9)

chor 1 2
chor 2 4
mu 1 2 3
chor 3 41
mu 3 2 4
mu 4 2 5
mu 3 5 6
chor 6 5

mu 2 1 7
mu 7 2 8
cj 1 8 9
mu 9 1 10
chor 10 40