N=int(input())
a,b=0,0
L=[]
for i in range(N):
  t,x=input().split()
  p='A['+str(i+1)+']'
  x=int(x)
  if t=='*':
    L.append(('mul','a','a',p))
    a*=x
  elif t=='+':
    if b>0:
      L.append(('mul','c',p,'b'))
      x*=b
    if b==0:
      L.append(('add','a','a',p))
    else:
      L.append(('add','a','a','c'))
    a+=x
  else:
    if b==0:
      L.append(('add','b','b',p))
      b+=x
    else:
      L.append(('mul','b','b',p))
      b*=x
if b>0:
  L.append(('div','a','a','b'))
print(len(L))
for i in range(len(L)):
  h=L[i][:]
  print(*h)