#include <bits/stdc++.h>
using namespace std;
vector<string> ans;
int64_t phi(int64_t x) {
  int ans = x;
  if (x % 2 == 0) ans /= 2;
  while (x % 2 == 0) x /= 2;
  for (int64_t p = 3; p * p <= x; p += 2) {
    if (x % p == 0) {
      ans = ans * (p - 1) / p;
      x /= p;
      while (x % p == 0) x /= p;
    }
  }
  if (x > 1) ans = ans * (x - 1) / x;
  return ans;
}
int64_t mod_pow(int64_t x, int64_t p, int64_t md) {
  x %= md;
  int64_t a = 1;
  while (p) {
    if (p & 1) a = (a * x) % md;
    x = (x * x) % md;
    p >>= 1;
  }
  return a;
}
int main() {
  ios::sync_with_stdio(false);
  int64_t x;
  cin >> x;
  int64_t p2 = 1, y = x;
  while (p2 * 2 < x) {
    p2 *= 2;
    ans.push_back(to_string(y) + " + " + to_string(y));
    y *= 2;
  }
  ans.push_back(to_string(x) + " ^ " + to_string(y));
  y ^= x;
  int64_t b = mod_pow(y, phi(x) - 1, x), a = b * y / x;
  if (a % 2 == 1) {
    b += x;
    a += y;
  }
  int64_t X = 0, Y = 0;
  for (int64_t i = 1, p = x; i <= a; i *= 2, p *= 2) {
    ans.push_back(to_string(p) + " + " + to_string(p));
    if (i & a) {
      if (X) ans.push_back(to_string(X) + " + " + to_string(p));
      X += p;
    }
  }
  for (int64_t i = 1, p = y; i <= b; i *= 2, p *= 2) {
    ans.push_back(to_string(p) + " + " + to_string(p));
    if (i & b) {
      if (Y) ans.push_back(to_string(Y) + " + " + to_string(p));
      Y += p;
    }
  }
  ans.push_back(to_string(X) + " ^ " + to_string(Y));
  cout << ans.size() << endl;
  for (auto& s : ans) cout << s << endl;
}
