SUCCESS 0.03 (total time) COMPLETED TRS a(z, x) -> s(x) a(s(x), z) -> a(x, s(z)) a(s(x), s(y)) -> a(x, a(s(x), y))