#include<bits/stdc++.h>
#define int long long
#define eb emplace_back
#define mp make_pair
#define DEBUG
using namespace std;
using pii = pair<int, int>;
using piii = pair<int, pii>;
using piiii = pair<pii, pii>;
using i64 = long long;
using u64 = unsigned long long;
using u32 = unsigned int;
const int P = 998244353;const i64 inf = 0x3f3f3f3f3f3f3f3f;
namespace azus{
	int n;
	vector<piiii> ans;
	int add(int x, int y, int a, int b){
		ans.eb(mp(mp(x, y), mp(a, b)));
		return 0;
	}
	vector<int> opt;
	int main(){
		cin >> n;
		n = (n - 1) / 2;
		int tot = 0;
		int tn = n;
		while(tn){
			if(!(tn & 1) || tn == 1){
				opt.eb(1);
				tn --;
				if(!tn) break;
			}
			tn = (tn - 1) / 2;
			opt.eb(0);
		}
		reverse(opt.begin(), opt.end());
		for(auto c : opt){
			if(!c){
				tot ++;
				add(tot, tot + 1, tot, 1);
			} else {
				tot ++;
				add(tot, tot + 1, tot, tot);
			}
		}
		// for(int i = u; i >= 0; i --){
		// 	if(i != u){
		// 		tot ++;
		// 		add(tot, tot + 1, tot, 1);
		// 	}
		// 	if(n & (1 << i)){
		// 		tot ++;
		// 		add(tot, tot + 1, tot, tot);
		// 	}
		// }
		// while(n){
		// 	if(n & 1){
		// 		tot ++;
		// 		add(tot, tot + 1, tot, tot);
		// 	}
		// 	tot ++;
		// 	add(tot, tot + 1, tot, 1);
		// 	n /= 2;
		// }
		cout << tot + 1 << "\n";
		for(auto [c, d] : ans){
			auto [x, y] = c;auto [a, b] = d;
			cout << "POP " << x << " GOTO " << y << "; PUSH " << a << " GOTO " << b << "\n";
		}
		cout << "HALT; PUSH 100 GOTO 1\n";
		return 0;
	}
}
signed main(){
#ifndef DEBUG
	ios::sync_with_stdio(0);
	cin.tie(0), cout.tie(0);
#endif
	int T = 1;
	while(T --)
		azus::main();
	return 0;
}