chor 1 2
chor 2 3
mu 1 2 3
chor 3 13
mu 3 2 4
mu 3 4 5
chor 5 12

# o(xyxyy) = o(x.x^(yy)) = 12, so x is in 2B
# If o(xyxyxyy) = 12 also, then y is in 3B.
mu 3 5 6
chor 6 12
