# 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