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

struct OP{
    int a,x;
    int b,y;

    OP(int _a,int _x,int _b,int _y){
        a=_a;
        x=_x;
        b=_b;
        y=_y;
    }
};
vector<OP> ops;
const int lim=100;
int main(){
    int n;
    scanf("%i",&n);
    if(n==1){
        ops={OP(-1,-1,1,1)};
    }else{
        n--;n/=2;
        vector<int> ord;
        while(n>1){
            if(n%2==1){
                ord.pb(1);
                n--;
                n/=2;
            }else{
                ord.pb(0);
                n--;
            }
        }
        ord.pb(0);
        reverse(ord.begin(),ord.end());
        for(int i=0;i<ord.size();i++){
            if(ord[i]==0){
                ops.pb(OP(i+1,i+2,i+1,i+1));
            }else{
                ops.pb(OP(i+1,i+2,i+1,1));
            }
        }
        ops.pb(OP(-1,-1,1,1));
    }
    printf("%i\n",ops.size());
    for(auto op:ops){
        if(op.a==-1){
            printf("HALT; PUSH %i GOTO %i\n",op.b,op.y);
        }else{
            printf("POP %i GOTO %i; PUSH %i GOTO %i\n",op.a,op.x,op.b,op.y);
        }
    }
    return 0;
}