# Checker for L3(13) chor 1 2 chor 2 3 mu 1 2 3 chor 3 61 mu 3 2 4 mu 3 4 5 chor 5 4