#pragma GCC optimize("O3")
#include <bits/stdc++.h>
// #include <ext/pb_ds/assoc_container.hpp>
// using namespace __gnu_pbds;
// gp_hash_table<int, int> mapka;

using namespace std;
#define PB push_back
#define MP make_pair
#define LL long long
#define int LL
#define FOR(i,a,b) for(int i = (a); i <= (b); i++)
#define RE(i,n) FOR(i,1,n)
#define REP(i,n) FOR(i,0,(int)(n)-1)
#define R(i,n) REP(i,n)
#define VI vector<int>
#define PII pair<int,int>
#define LD long double
#define FI first
#define SE second
#define st FI
#define nd SE
#define ALL(x) (x).begin(), (x).end()
#define SZ(x) ((int)(x).size())

template<class C> void mini(C &a4, C b4) { a4 = min(a4, b4); }
template<class C> void maxi(C &a4, C b4) { a4 = max(a4, b4); }

template<class TH> void _dbg(const char *sdbg, TH h){ cerr<<sdbg<<'='<<h<<endl; }
template<class TH, class... TA> void _dbg(const char *sdbg, TH h, TA... a) {
  while(*sdbg!=',')cerr<<*sdbg++;
  cerr<<'='<<h<<','; _dbg(sdbg+1, a...);
}

template<class T> ostream &operator<<(ostream& os, vector<T> V) {
  os << "["; for (auto vv : V) os << vv << ","; return os << "]";
}
template<class L, class R> ostream &operator<<(ostream &os, pair<L,R> P) {
  return os << "(" << P.st << "," << P.nd << ")";
}

#ifdef LOCAL
#define debug(...) _dbg(#__VA_ARGS__, __VA_ARGS__)
#else
#define debug(...) (__VA_ARGS__)
#define cerr if(0)cout
#endif

int wol = 3;
#ifdef LOCAL
vector<int> t(10000);
void add(int a,int b,int c){
  t[c] = t[a] + t[b];
}
void por(int a,int b,int c){
  t[c] = t[a] < t[b];
}
#else
int ILE = 0;
void add(int a,int b,int c){
  ILE++;
  cout << "+ " << a << " " << b << " " << c << "\n";
}
void por(int a,int b,int c){
  ILE++;
  cout << "< " << a << " " << b << " " << c << "\n";
}
#endif

int addnew(int a,int b){
  add(a,b,wol);
  return wol++;
}
void addself(int a,int b){
  add(a,b,a);
}
int pornew(int a,int b){
  por(a,b,wol);
  return wol++;
}
int rob1(){
  int x = addnew(0,1);
  int x2 = addnew(x,x);
  return pornew(x,x2);
}

//res += a * 2 ^ w
void dodaj(int res, int a,int w){
//   debug(t[res], t[a], w);
  int tmp = addnew(a, wol);
  R(i,w){
    add(tmp,tmp,tmp);
  }
  addself(res, tmp);
//   debug(t[res]);
}
#ifdef LOCAL
const int C = 31;
#else
const int C = 31;
#endif
vector<int> p2(C);
vector<int> rozkladaj(int a){
  addself(a, p2[0]);
  int res = wol++;
  vector<int> bity(C);
  R(i,C)bity[i] = wol++;
  for(int i = C - 1; i >= 0;i--){
    int pom = addnew(p2[i], res);
    por(pom, a, bity[i]);
    dodaj(res, bity[i], i);
  }
  return bity;
}
int32_t main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout << fixed << setprecision(11);
  cerr << fixed << setprecision(6);
  cout << "33917\n";
#ifdef LOCAL
  cin >> t[0] >> t[1];
#endif
  p2[0] = rob1();
  R(i,C-1){
    p2[i+1] = addnew(p2[i], wol);
    add(p2[i+1], p2[i], p2[i+1]);
  }
#ifdef LOCAL
  debug("p2");
  R(i,C){
    cerr << t[p2[i]] << "\n";
  }
#endif

  vector<int> bity1 = rozkladaj(0);
  
#ifdef LOCAL
  debug("p2");
  R(i,C){
    cerr << t[bity1[i]] << "\n";
  }
#endif
  vector<int> bity2 = rozkladaj(1);

#ifdef LOCAL
  debug("p2");
  R(i,C){
    cerr << t[bity2[i]] << "\n";
  }
#endif
  R(i,C)R(j,C){
    int pom = addnew(bity1[i],bity2[j]);
    int pom2 = pornew(p2[0], pom);
    dodaj(2, pom2, i + j);
  }
#ifdef LOCAL
  cout << t[2] << "\n";
#endif
//    cout << ILE << "\n";
}


Measured memory_bytes: 3632