#include<bits/stdc++.h>
using namespace std;
const long long mod=998244353;
long long T,a,b,c,d[1000001],v[3001][3001],o,h[1000001],fa[1000001],q,w,e,an,cn,fac[1000001],inv[1000001],st[1000001],u[1000001],cnt,vi[1000001];
char s[1000001];
struct p{long long q,w,e,nx;}l[1000001],l1[1000001],l2[1000001];
long long pow_(long long qq,long long ww){long long ee=1;while(ww){if(ww&1) ee*=qq,ee%=mod;qq*=qq,qq%=mod,ww>>=1;}return ee%mod;}
inline int read(){int x=0,f=1;char c=getchar();while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();}while(c>='0'&&c<='9'){x=(x<<3)+(x<<1)+c-'0';c=getchar();}return x*f;}
void add(long long qq,long long ww){l[++o].q=ww,l[o].w=h[qq],h[qq]=o;}
long long gcd(long long qq,long long ww){return !ww?qq:gcd(ww,qq%ww);}
long long find(long long qq){return qq==fa[qq]?qq:fa[qq]=find(fa[qq]);}
void merge(long long qq,long long ww){long long f1=find(qq),f2=find(ww);if(f1==f2) return;fa[f1]=f2;}
long long C(long long qq,long long ww){return fac[qq]*inv[ww]%mod*inv[qq-ww]%mod;}
void get1(int qq)
{
	scanf("%s",s+1);
	l1[qq].e=1;
	if(s[1]=='H') l1[qq].q=0;
	else
	{
		scanf("%lld",&q);
		scanf("%s",s+1);
		scanf("%s",s+1);
		c=strlen(s+1);
		w=0;
		for(int i=1;i<c;i++) w=w*10+s[i]-'0';
		l1[qq].q=1;
		l1[qq].w=q;
		l1[qq].nx=w;
	}
}
void get2(int qq)
{
	l2[qq].e=1;
	scanf("%s",s+1);
	scanf("%lld",&q);
	scanf("%s",s+1);
	scanf("%lld",&w);
	l2[qq].q=1;
	l2[qq].w=q;
	l2[qq].nx=w;
}
vector<int> qu[1000001],qu1[1000001];
long long ans[3001][3001],vv[3001][3001],vii[3001][3001],nxx[3001][3001];
void dfs(int qq,int ww)
{
	if(vii[qq][ww])
	{
		printf("-1");
		exit(0);
	}
	if(vv[qq][ww]) return;
	vv[qq][ww]=1;vii[qq][ww]=1;
	if(l1[qq].w==ww)
	{
		nxx[qq][ww]=l1[qq].nx;
		ans[qq][ww]=1;
		vii[qq][ww]=0;
		return;
	}
	ans[qq][ww]=1;
	long long tt=qq;
	dfs(l2[tt].nx,l2[tt].w);
	ans[qq][ww]+=ans[l2[qq].nx][l2[qq].w];
	tt=nxx[l2[tt].nx][l2[tt].w];
	dfs(tt,ww);
	ans[qq][ww]+=ans[tt][ww];
	nxx[qq][ww]=nxx[tt][ww];
	ans[qq][ww]%=mod;
	vii[qq][ww]=0;
	return;
}
int main()
{
//	freopen("1.in","r",stdin);
	srand((unsigned)(time(0)^(*new int)));
	fac[0]=1;for(int i=1;i<=1000000;i++) fac[i]=fac[i-1]*i%mod;
	inv[1000000]=pow_(fac[1000000],mod-2);for(int i=999999;i>=0;i--) inv[i]=inv[i+1]*(i+1)%mod;
	scanf("%lld",&a);
	if(a==1)
	{
		printf("1\nHALT; PUSH 1 GOTO 1");
		return 0;
	}
	l1[1].q=1,l1[1].w=1;
	l2[1].q=2,l2[1].w=1;
	l1[2].q=3,l1[2].w=1;
	l2[2].q=1,l2[2].w=128;
	int nww=1;
	for(int i=1;i<31;i++)
	{
		if((1<<i)&a) st[++cn]=i-1;
	}
	a/=2;
	for(int i=3;i<=64;i+=2)
	{
		if(nww>st[cn])
		{
			l1[i].q=0,l1[i].w=0;
			l2[i].q=1,l2[i].w=1;
			cn=i;
			break;
		}
		if(!((1<<(st[cn]-nww))&a))
		{
			l2[i].q=i+1,l2[i].w=(i+1)/2;
			l2[i+1].q=4,l2[i+1].w=2;
			l1[i].q=i+2,l1[i].w=(i+1)/2;
			l1[i+1].q=1,l1[i+1].w=128;
			if(i==3) l1[i+1].q=5,l1[i+1].w=2;
		}
		else
		{
			l2[i].q=i+1,l2[i].w=(i+1)/2;
			l2[i+1].q=2,l2[i+1].w=1;
			l1[i].q=i+2,l1[i].w=(i+1)/2;
			l1[i+1].q=1,l1[i+1].w=128;
		}
		++nww;
	}
	printf("%lld\n",cn);
	for(int i=1;i<=cn;i++)
	{
//		l1[i].q++;
		if(l1[i].w==0)
		{
			printf("HALT; ");
		}
		else
		{
			printf("POP %lld GOTO %lld; ",l1[i].w,l1[i].q);
		}
		printf("PUSH %lld GOTO %lld\n",l2[i].w,l2[i].q);
	}
	return 0;
}