/**
 *    author:  tourist
 *    created: 09.08.2020 15:19:27       
**/
#include <bits/stdc++.h>

using namespace std;

const int MAX = 30;

template <typename A, typename B>
string to_string(pair<A, B> p);

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p);

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> p);

string to_string(const string& s) {
  return '"' + s + '"';
}

string to_string(const char* s) {
  return to_string((string) s);
}

string to_string(bool b) {
  return (b ? "true" : "false");
}

string to_string(vector<bool> v) {
  bool first = true;
  string res = "{";
  for (int i = 0; i < static_cast<int>(v.size()); i++) {
    if (!first) {
      res += ", ";
    }
    first = false;
    res += to_string(v[i]);
  }
  res += "}";
  return res;
}

template <size_t N>
string to_string(bitset<N> v) {
  string res = "";
  for (size_t i = 0; i < N; i++) {
    res += static_cast<char>('0' + v[i]);
  }
  return res;
}

template <typename A>
string to_string(A v) {
  bool first = true;
  string res = "{";
  for (const auto &x : v) {
    if (!first) {
      res += ", ";
    }
    first = false;
    res += to_string(x);
  }
  res += "}";
  return res;
}

template <typename A, typename B>
string to_string(pair<A, B> p) {
  return "(" + to_string(p.first) + ", " + to_string(p.second) + ")";
}

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p) {
  return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ")";
}

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> p) {
  return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ", " + to_string(get<3>(p)) + ")";
}

void debug_out() { cerr << endl; }

template <typename Head, typename... Tail>
void debug_out(Head H, Tail... T) {
  cerr << " " << to_string(H);
  debug_out(T...);
}

#ifdef LOCAL
#define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__)
#else
#define debug(...) 42
#endif

struct Op {
  char type;
  int i;
  int j;
  int k;

  Op(char type_, int i_, int j_, int k_) : type(type_), i(i_), j(j_), k(k_) {}
};

int cid = 0;

int Cell() {
  return cid++;
}

vector<Op> ops;

int a = -1;
int b = -1;
int ans = -1;
int zero = -1;
int one = -1;

int Add(int i, int j) {
  int k = Cell();
  ops.emplace_back('+', i, j, k);
  return k;
}

int Cmp(int i, int j) {
  int k = Cell();
  ops.emplace_back('<', i, j, k);
  return k;
}

int Clone(int i) {
  int k = Cell();
  ops.emplace_back('+', i, zero, k);
  return k;
}

int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  a = Cell();
  b = Cell();
  ans = Cell();
  zero = Cell();
  one = Cmp(zero, Add(a, b));
  int acc = Cell();
  for (int p = MAX; p >= 0; p--) {
    int x = Clone(one);
    for (int i = 0; i < p; i++) {
      x = Add(x, x);
    }
    int r = Cmp(Add(acc, x), Add(a, one));
    debug("ok", a, b, zero, one, p, x, r);
    int q = -1;
    {
      int bcc = Cell();
      for (int pp = MAX; pp >= 0; pp--) {
        int y = Clone(r);
        for (int i = 0; i < pp; i++) {
          y = Add(y, y);
        }
        int t = Cmp(Add(bcc, y), Add(b, one));
        t = Cmp(one, Add(r, t));
        for (int i = 0; i < pp; i++) {
          t = Add(t, t);
        }
        bcc = Add(bcc, t);
      }
      q = bcc;
    }
    for (int i = 0; i < p; i++) {
      r = Add(r, r);
      q = Add(q, q);
    }
    acc = Add(acc, r);
    ans = Add(ans, q);
  }
  ops.emplace_back('<', zero, zero, 2);
  ops.emplace_back('+', ans, zero, 2);
  cout << ops.size() << '\n';
  for (int i = 0; i < (int) ops.size(); i++) {
    cout << ops[i].type << " " << ops[i].i << " " << ops[i].j << " " << ops[i].k << '\n';
  }
  return 0;
}


Measured memory_bytes: 4212