#include <bits/stdc++.h>

const int MAXN = 66;
int A[MAXN];

inline void OUT(int a, int b, int c, int d) {
  std::cout << "POP " << a << " GOTO " << b << "; PUSH " << c << " GOTO " << d << '\n';
}

inline void EXIT() {
  std::cout << "HALT; PUSH 99 GOTO 1\n";
}

int main() {
  std::ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  std::cout.tie(nullptr);

  int N;
  std::cin >> N;
  if ((N & 1) == 0) {
    std::cout << "What ????\n";
    return 0;
  }

  --N;
  if (N <= 63) {
    std::cout << (N + 1) << '\n';
    for (int i = 1; i <= N; ++i) {
      OUT(1, i + 1, 1, i + 1);
    }
    EXIT();
    return 0;
  }

  bool flag = true;
  for (int i = 0; i <= 31 && flag; ++i) {
    for (int j = 0; i + j * 2 <= 63 && flag; ++j) {
      for (int k = i; k <= 31 && flag && i + 2 * j + k <= 63; ++k) {
        int now = N - i * 2 - j * 2;
        if ((now >> (k + 1)) > 0) continue;
        if (__builtin_popcount(now) == k - i) {
          flag = false;
          int idx = 1;
          std::cout << (i + 2 * j + k + 1) << '\n';
          // printf("(%d, %d, %d)\n", i, j, k);
          // for (int h = 1; h <= k; ++h) {
          //   std::cout << ((now >> h & 1)) << " \n"[h == k];
          // }
          for (int h = k; h >= 1; --h) {
            if ((now >> h) & 1) continue;

            if (idx <= i) {
              A[h] = 1;
              OUT(h, idx + 1, h, idx + 1);
              ++idx;
            }
          }

          for (int h = 1; h <= j; ++h) {
            OUT(99, idx + 1, 99, idx + 1);
            ++idx;
            OUT(99, idx + 1, 99, idx + 1);
            ++idx;
          }

          int cur = idx;
          for (int h = 1; h <= k; ++h) {
            OUT(h, idx + 1, h, cur);
            ++idx;
          }

          EXIT();
        }
      }
    }

    for (int j = 0; i * 2 + j <= 63 && flag; ++j) {
      for (int k = i; k <= 31 && i + j + k <= 63 && flag; ++k) {
        int now = N - j * 2 - i * 2;
        if ((now >> (k + 1)) > 0) continue;
        if (__builtin_popcount(now) == k - i) {
          std::cout << i + j + k + 1 << '\n';
          flag = false;
          int idx = 1;
          // printf("(%d, %d, %d)\n", i, j, k);
          // for (int h = 1; h <= k; ++h) {
          //   std::cout << ((now >> h & 1)) << " \n"[h == k];
          // }
          for (int h = k; h >= 1; --h) {
            if ((now >> h) & 1) continue;

            if (idx <= i) {
              A[h] = 1;
              OUT(h, idx + 1, h, idx + 1);
              ++idx;
            }
          }

          int cur = idx;
          for (int h = 1; h <= k; ++h) {
            OUT(h, idx + 1, h, cur);
            ++idx;
          }

          for (int h = 1; h <= j; ++h) {
            OUT(1, idx + 1, 1, idx);
            ++idx;
          }

          EXIT();
        }
      }
    }
  }

  if (flag) {
    std::cout << "I have to say I lose!\n";
  }

  return 0;
}