#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
ll mmi(ll a, ll b) {
  ll ret = 0;
  if (a < b) ret ++;
  return ret;
}
int main () {
  int N, Q;
  N = Q = 200000;
  ll V = 1e19;
  int ze = N - 1;
  int on = N - 2;
  //vector<ll>ans(N, 0);
  //cin >> ans[0] >> ans[1];
  //int kj = 0;
  cout << 64640 << endl;
  cout << "+ 0 1 " << ze << endl;
  cout << "< 3 " << ze << ' ' << on << endl;
  cout << "< " << ze << " 3 " << ze << endl;
  /*ans[ze] = ans[0] + ans[1];
  ans[on] = mmi(ans[3], ans[ze]);
  ans[ze] = mmi(ans[ze], ans[3]);
  kj += 3;*/
  //cout << ans[on] << ' ' << ans[ze] << endl;
  int abi = 4;
  int bbi = 74;
  cout << "+ " << on << ' ' << ze << ' ' << abi << endl;
  //ans[abi] = ans[on] + ans[ze];
  //kj ++;
  for (int i = 0; i < 59; i ++) {
    cout << "+ " << abi + i << ' ' << abi + i << ' ' << abi + i + 1 << endl;
    //ans[abi + i + 1] = ans[abi + i] + ans[abi + i];
    //kj ++;
  }
  cout << "+ 1 " << ze << ' ' << bbi << endl;
  //ans[bbi] = ans[1] + ans[ze];
  //kj ++;
  for (int i = 0; i < 29; i ++) {
    cout << "+ " << bbi + i << ' ' << bbi + i << ' ' << bbi + i + 1 << endl;
    //ans[bbi + i + 1] = ans[bbi + i] + ans[bbi + i];
    //kj ++;
  }
  /*for (int i = 0; i < 30; i ++) {
    cout << ans[abi + i] << ' ' << ans[bbi + i] << endl;
  }*/
  int make_a = 204;
  int kari_a = 205;
  int jud_a = 206;
  int pl = 207;
  int plbit = 208;
  int kari_pl = 268;
  int jud_pl = 269;
  cout << "+ 0 " << on << " 0" << endl;
  cout << "+ 1 " << on << " 1" << endl;
  /*ans[0] = ans[0] + ans[on];
  ans[1] = ans[1] + ans[on];*/
  //kj += 2;
  for (int i = 29; i >= 0; i --) {
    cout << "+ " << make_a << ' ' << abi + i << ' ' << kari_a << endl;
    cout << "< " << kari_a << " 0 " << jud_a << endl;
    cout << "+ " << jud_a << ' ' << ze << ' ' << plbit << endl;
    /*ans[kari_a] = ans[abi + i] + ans[make_a];
    ans[jud_a] = mmi(ans[kari_a], ans[0]);
    ans[plbit] = ans[jud_a] + ans[ze];*/
    //kj += 4;
    cout << "+ " << bbi + i << ' ' << on << ' ' << bbi + i << endl;
    //ans[bbi + i] = ans[bbi + i] + ans[on];
    for (int j = 59; j >= 0; j --) {
      cout << "+ " << pl << ' ' << abi + j << ' ' << kari_pl << endl;
      cout << "< " << kari_pl << ' ' << bbi + i << ' ' << jud_pl << endl;
      cout << "+ " << jud_pl << ' ' << plbit << ' ' << jud_pl << endl;
      cout << "< " << on << ' ' << jud_pl << ' ' << jud_pl << endl;
      /*ans[kari_pl] = ans[pl] + ans[abi + j];
      ans[jud_pl] = mmi(ans[kari_pl], ans[bbi + i]);
      ans[jud_pl] = ans[jud_pl] + ans[plbit];
      ans[jud_pl] = mmi(ans[on], ans[jud_pl]);*/
      //kj += 4;
      for (int k = 0; k < j; k ++) {
        cout << "+ " << jud_pl << ' ' << jud_pl << ' ' << jud_pl << endl;
        //ans[jud_pl] = ans[jud_pl] + ans[jud_pl];
        //kj ++;
      }
      cout << "+ " << pl << ' ' <<  jud_pl << ' ' << pl << endl;
      cout << "+ " << ze << ' ' << ze << ' ' << jud_pl << endl;
      /*ans[pl] = ans[pl] + ans[jud_pl];
      ans[jud_pl] = ans[ze] + ans[ze];*/
      //kj += 2;
    }
    cout << "+ 2 " << pl << " 2" << endl;
    cout << "+ " << ze << ' ' << ze << ' ' << pl << endl;
    //ans[2] = ans[2] + ans[pl];
    //kj += 2;
    //cout << ans[pl] << endl;
    //ans[pl] = ans[ze] + ans[ze];
    for (int j = 0; j < i; j ++) {
      cout << "+ " << jud_a << ' ' << jud_a << ' ' << jud_a << endl;
      //ans[jud_a] = ans[jud_a] + ans[jud_a];
      //kj ++;
    }
    cout << "+ " << make_a << ' ' << jud_a << ' ' << make_a << endl;
    //ans[make_a] = ans[jud_a] + ans[make_a];
    //kj ++;
    //cout << ans[2] << endl;
    //cout << ans[make_a] << endl;
  }
  //cout << ans[2] << endl;
  //cout << kj << endl;
}

Measured memory_bytes: 3604