#include <bits/stdc++.h>
using namespace std;

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

    long long k;
    cin >> k;

    if (k == 1) {
        cout << 1 << "\n";
        cout << "HALT PUSH 1 GOTO 1\n";
        return 0;
    }

    long long S = (k - 1) / 2; // S >= 1 since k >= 3

    int best_cost = 999;
    vector<int> best_depths;

    for (int m = 1; m <= 60; m++) {
        long long T = S + m;
        if (T & 1) continue;
        if (T < 2LL * m) continue;

        vector<int> bits;
        for (int b = 1; b <= 40; b++) {
            if ((T >> b) & 1) {
                bits.push_back(b);
            }
        }

        int pc = (int)bits.size();
        if (pc > m) continue;

        int splits_needed = m - pc;

        multiset<int> exps(bits.begin(), bits.end());
        int cost = 0;
        for (int b : bits) cost += b;

        bool valid = true;
        for (int s = 0; s < splits_needed; s++) {
            auto it = exps.lower_bound(2);
            if (it == exps.end()) {
                valid = false;
                break;
            }
            int d = *it;
            exps.erase(it);
            exps.insert(d - 1);
            exps.insert(d - 1);
            cost += (d - 2);
        }

        if (!valid) continue;

        int total = cost + 1;
        if (total < best_cost && total <= 512) {
            best_cost = total;
            best_depths.clear();
            for (int e : exps) best_depths.push_back(e);
        }
    }

    int n = best_cost;
    int mm = best_depths.size();

    cout << n << "\n";

    int pos = 1;
    for (int bi = 0; bi < mm; bi++) {
        int d = best_depths[bi];
        int start = pos;
        for (int j = 1; j <= d; j++) {
            cout << "POP " << j << " GOTO " << (start + j) << " PUSH " << j << " GOTO " << start << "\n";
            pos++;
        }
    }

    cout << "HALT PUSH 1 GOTO " << pos << "\n";

    return 0;
}