#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=100;
ll f[N],g[N];
int k,t[N][4],a[N][2][2],n,cnt;
void add(int x,int t)
{
	a[x][0][0]=a[x][1][0]=1;
	a[x][0][1]=t,a[x][1][1]=x;
}
void construct(int w,int lst)
{
	if(w==n)
	{
		int x=cnt+1,y=cnt+2;
		cnt+=2;
		a[x][0][0]=a[x][1][0]=x,a[x][0][1]=a[x][1][1]=y;
		a[y][0][0]=a[y][1][0]=x,a[y][0][1]=a[y][1][1]=lst;
		return;
	}
	int x=cnt+1,y=cnt+2,z=y;
	for(int j=1;j<=3;j++) cnt+=t[w][j];
	cnt+=2;
	int goal=cnt+1;
	a[x][0][0]=a[x][1][0]=x,a[x][1][1]=goal,a[x][0][1]=y;
	a[y][0][0]=a[y][1][0]=y,a[y][1][1]=goal,a[y][0][1]=lst;
	construct(w+1,t[w][3]?y+t[w][3]:x);
	for(int i=t[w][3];i>1;i--) add(y+i,y+i-1);
	if(t[w][3]) add(y+1,x),z+=t[w][3];
	for(int i=1,k=y;i<=t[w][1];i++) a[k][1][1]=++z,add(z,goal),k=z;
	for(int i=1,k=x;i<=t[w][2];i++) a[k][1][1]=++z,add(z,goal),k=z;
}
int main()
{
	scanf("%d",&k),k>>=1;
	if(k<7)
	{
		printf("%d\n",k+1);
		for(int i=1;i<=k;i++)
			printf("POP 1 GOTO %d; PUSH 1 GOTO %d\n",i+1,i);
		puts("HALT; PUSH 99 GOTO 1");
		return 0;
	}
	k--,f[0]=1;
	while(f[n]<=k) f[n+1]=f[n]*3+3,n++;
	g[0]=1,k-=f[--n];
	for(int i=1;i<=n;i++) g[i]=g[i-1]*3;
	for(int i=n-1;i>=0;i--)
		for(int j=3;j;j--)
			while(k>=g[i]*j) k-=g[i]*j,t[i][j]++;
	cnt=2,construct(0,2);
	printf("%d\n",cnt);
	puts("POP 1 GOTO 3; PUSH 1 GOTO 1");
	puts("HALT; PUSH 99 GOTO 1");
	for(int i=3;i<=cnt;i++)
		printf("POP %d GOTO %d; PUSH %d GOTO %d\n",
			a[i][0][0],a[i][0][1],a[i][1][0],a[i][1][1]);
}