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