# Checker for J3

chor 1 2
chor 2 3
mu 1 2 3
chor 3 19
mu 3 2 4
mu 3 4 5    # This should have order 9, but we don't need to check it.
mu 3 5 6
chor 6 17
