#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return true; } return false; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return true; } return false; }
#define vi vector<int>
#define vl vector<ll>
#define vii vector<pair<int,int>>
#define vll vector<pair<ll,ll>>
#define vvi vector<vector<int>>
#define vvl vector<vector<ll>>
#define vvii vector<vector<pair<int,int>>>
#define vvll vector<vector<pair<ll,ll>>>
#define vst vector<string>
#define pii pair<int,int>
#define pll pair<ll,ll>
#define pb push_back
#define all(x) (x).begin(),(x).end()
#define mkunique(x) sort(all(x));(x).erase(unique(all(x)),(x).end())
#define fi first
#define se second
#define mp make_pair
#define si(x) int(x.size())
const int mod=998244353,MAX=300005,INF=15<<26;

vi solve(ll N){
    for(ll t=1;t<=40;t++){
        if(N==((1LL<<t)-1)){
            return {};
        }
    }
    for(ll t=40;t>=0;t--){
        if(N&(1LL<<t)){
            auto z=solve(N-((1LL<<t)-1));
            z.insert(z.begin(),t-1);
            return z;
        }
    }
    return {};
}

ll wh(ll N){
    for(ll t=1;t<=40;t++){
        if(N==((1LL<<t)-1)){
            return t-1;
        }
    }
    for(ll t=40;t>=0;t--){
        if(N&(1LL<<t)){
            return wh(N-((1LL<<t)-1));
        }
    }
    return -1;
}

int main(){
    
    std::ifstream in("text.txt");
    std::cin.rdbuf(in.rdbuf());
    cin.tie(0);
    ios::sync_with_stdio(false);
    
    vector<array<int,4>> ans;
    for(int q=0;q<30;q++){
        ans.pb({q,q+1,q,0});
    }
    ans.pb({-1,-1,0,0});
    ll L=2,R=((1LL<<31)-1)+1;
    ll K;cin>>K;
    
    if(K==1){
        cout<<1<<"\n";
        cout<<"HALT; PUSH 1 GOTO 1\n";
        return 0;
    }
    
    while(R-L>1){
        ll M=(L+R)/2;
        auto dat=solve(M);
        ll dis=si(dat)+(1LL<<31)-1-M+1;
        //cout<<M<<" "<<dis<<endl;
        if(dis>=K) L=M;
        else R=M;
    }
    
    int po=wh(L);
    auto dat=solve(L);
    
    for(int i=0;i<si(dat);i++){
        if(i==si(dat)-1){
            ans.pb({100,0,dat[i],po});
        }else{
            ans.pb({100,0,dat[i],32+i});
        }
    }
    
    rotate(ans.begin(),ans.begin()+31,ans.end());
    
    cout<<si(ans)<<"\n";
    int t=1;
    for(auto [a,b,c,d]:ans){
        //cout<<t++<<" : ";
        if(a==-1){
            cout<<"HALT; ";
            cout<<"PUSH ";
            cout<<c+1<<" ";
            cout<<"GOTO ";
            cout<<(d-31+si(ans))%si(ans)+1<<"\n";
        }else{
            cout<<"POP ";
            cout<<a+1<<" ";
            cout<<"GOTO ";
            cout<<(b-31+si(ans))%si(ans)+1<<"; ";
            cout<<"PUSH ";
            cout<<c+1<<" ";
            cout<<"GOTO ";
            cout<<(d-31+si(ans))%si(ans)+1<<"\n";
        }
    }
}