#include <bits/stdc++.h>
using namespace std;
int k;
vector<int> v;
struct code
{
	int typ,a,x,b,y;
};
struct prog
{
	vector<code> v;
	int halt,nn;
};
prog gen2k3(prog v)
{
	prog nw;
	int x=v.nn+1,y=v.nn+2;
	nw.v.push_back({1,x,v.halt+2,x,2});
	for(int i=0;i<v.v.size();++i)
	{
		nw.v.push_back(v.v[i]);
		++nw.v.back().x;
		++nw.v.back().y;
		if(i+1==v.halt)
		{
			nw.v.back()=code({1,y,1,y,2});
		}
	}
	nw.v.push_back({2,0,0,128,1});
	nw.halt=nw.v.size();
	nw.nn=v.nn+2;
	return nw;
}
prog gen2k1(prog v)
{
	prog nw;
	int x=v.nn+1;
	for(int i=0;i<v.v.size();++i)
	{
		nw.v.push_back(v.v[i]);
		if(i+1==v.halt)
		{
			nw.v.back()=code({1,x,v.v.size()+1,x,1});
		}
	}
	nw.v.push_back({2,0,0,128,1});
	nw.nn=v.nn+1;
	nw.halt=nw.v.size();
	return nw;
}
prog gen(int k)
{
	if(k==1)
	{
		prog p;
		p.v.push_back({2,0,0,128,1});
		p.nn=0;
		p.halt=1;
		return p;
	}
	if(k>>1&1)return gen2k1(gen(k>>1));
	else return gen2k3(gen((k>>1)-1));
}
int main()
{
	scanf("%d",&k);
	prog p=gen(k);
	printf("%d\n",(int)p.v.size());
	for(int i=0;i<p.v.size();++i)
	{
		if(p.v[i].typ==1)
		{
			printf("POP %d GOTO %d; PUSH %d GOTO %d\n",p.v[i].a,p.v[i].x,p.v[i].b,p.v[i].y);
		}
		else
		{
			printf("HALT; PUSH %d GOTO %d\n",p.v[i].b,p.v[i].y);
		}
	}
}