chor 1 3
chor 2 5
mu 1 2 3
chor 3 20

# By fingerprinting, we know o(x^2yxyxy) = 10 => y is 5A.
pwr 3 3 4
mu 1 4 5
chor 5 10
