#include<bits/stdc++.h>
using namespace std;
struct Interpreter
{
	struct Instruction
	{
		int a,x,b,y;
		enum class Type:uint8_t
		{
			POP,
			HALT
		}ty;
		static Instruction parse(string_view s)
		{
			Instruction res{.ty=(Instruction::Type)-1};
			if(s.starts_with("POP"))
			{
				res.ty=Instruction::Type::POP;
				sscanf(s.begin(),"POP %d GOTO %d; PUSH %d GOTO %d",&res.a,&res.x,&res.b,&res.y);
			}
			if(s.starts_with("HALT"))
			{
				res.ty=Instruction::Type::HALT;
				sscanf(s.begin(),"HALT; PUSH %d GOTO %d",&res.b,&res.y);
			}
			// --res.x;--res.y;
			return res;
		}
		friend string to_string(Instruction i)
		{
			using namespace std::string_literals;
			char buf[200];
			if(i.ty==Instruction::Type::POP)
				sprintf(buf,"POP %d GOTO %d; PUSH %d GOTO %d",i.a,i.x,i.b,i.y);
			if(i.ty==Instruction::Type::HALT)
				sprintf(buf,"HALT; PUSH %d GOTO %d",i.b,i.y);
			return buf;
		}
	};
	vector<int>stack;
	int execute(Instruction i)
	{
		switch(i.ty)
		{
			case Instruction::Type::POP:
			{
				if(!stack.empty()&&stack.back()==i.a)
				{
					stack.pop_back();
					return i.x;
					// pc+=x;
				}
				else
				{
					stack.push_back(i.b);
					return i.y;
					// pc+=i.y;
				}
				return false;
			}break;
			case Instruction::Type::HALT:
			{
				if(stack.empty())
				{
					return -1;
				}
				else
				{
					stack.push_back(i.b);
					return i.y;
				}
			}break;
			default:return -1e9;
		}
	}
	array<int,2> execute(vector<Instruction>const&ins)
	{
		int pc=0,cnt=0;
		while(pc!=-1)
		{
			// cerr<<"pc "<<pc<<'\n';
			pc=execute(ins[pc]);
			++cnt;
		}
		return {cnt,pc};
	}
	void clear(){{stack.clear();}}
};
using Instruction=Interpreter::Instruction;
ostream &operator<<(ostream &os,Instruction i)
{
	return os<<to_string(i);
}
template<typename T>
T to_abs(T&& x)
{
	int j=0;
	for(auto &i:x)
	{
		i.x+=j;
		i.y+=j;
		++j;
	}
	return x;
}
list<Instruction>construct(int n)
{
	static int cnt=1;
	assert(n%2==0);
	if(n==0)
		return {};
	if(n==2)
	{
		int now=cnt++;
		Instruction x{.a=now,.x=1,.b=now,.y=0,.ty=Instruction::Type::POP};
		return {x};
	}
	// cerr<<n<<'\n';
	if(n>2)
	{
		list<Instruction>res;
		if(n%4==2)
		{
			res=construct((n-2)/2);
			int now=cnt++;
			res.push_back({.a=now,.x=1,.b=now,.y=-(int)res.size(),.ty=Instruction::Type::POP});
		}
		else
		{
			res=construct((n-4)/2);
			int now=cnt++;
			res.push_back({.a=now,.x=1,.b=now,.y=-(int)res.size(),.ty=Instruction::Type::POP});
			res.splice(res.end(),construct(2));
		}
		return res;
	}
}
auto exec(list<Instruction>prog)
{
	Interpreter p;
	return p.execute({prog.begin(),prog.end()})[0];
}
int main()
{
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	// int n;
	// cin>>n;
	// vector<Interpreter::Instruction>prog;
	// string s;
	// getline(cin,s);
	// for(int i=0;i<n;++i)
	// {
	// 	getline(cin,s);
	// 	// cerr<<s<<'\n';
	// 	prog.push_back(Interpreter::Instruction::parse(s));
	// }
	// for(auto i:prog)
	// {
	// 	--i.x;
	// 	--i.y;
	// }
	// for(int i=0;i<n;++i)
	// 	cerr<<prog[i]<<'\n';
	// cout<<v.execute(prog)[0]<<'\n';
	int k;
	cin>>k;
	auto res=construct(k-1);
	res.push_back({.a=1,.x=0,.b=1,.y=0,.ty=Instruction::Type::HALT});
	res=to_abs(move(res));
	// cerr<<"exec: "<<exec(res)<<'\n';
	for(auto &i:res)
	{
		i.x++;
		i.y++;
	}
	cout<<res.size()<<'\n';
	for(auto i:res)
		cout<<i<<'\n';
	return 0;
}
// 5
// POP 1 GOTO 2; PUSH 1 GOTO 2
// HALT; PUSH 1 GOTO 3
// POP 1 GOTO 4; PUSH 2 GOTO 4
// POP 1 GOTO 2; PUSH 2 GOTO 4
// HALT; PUSH 99 GOTO 4