inp 3
# a, b, u [the AM (a,b) -> (a^((ab)^4),b^((abb)^4))] in that order.
mu 2 1 4
mu 3 3 2
mu 4 4 3
iv 3 4
mu 3 2 5
mu 5 4 2
