< a, b; (a^-1 b^2 a b^-3)^3 >
