N = int(input()) num: str = "a" den: str | None = None ret = [] for idx in range(1, N + 1): op, a = input().split() var: str = "A[{}]".format(idx) if op == "+": if not den: ret.append(("add", num, var, num)) else: ret.append(("mul", "z", var, den)) ret.append(("add", num, "z", num)) elif op == "*": ret.append(("mul", num, var, num)) elif op == "/": if not den: den = var else: ret.append(("mul", "c", var, den)) den = "c" else: assert False if den: ret.append(("div", "a", num, den)) print(len(ret)) for row in ret: print(*row)