// 長い夜の終わりを信じながら
// Think twice, code once.
#include <vector>
#include <cstdio>
#include <string>
#include <cstring>
#include <iostream>
#include <algorithm>
#define eputchar(c) putc(c, stderr)
#define eprintf(...) fprintf(stderr, __VA_ARGS__)
#define eputs(str) fputs(str, stderr), putc('\n', stderr)
using namespace std;

int n, idx = 0;
struct command {int type, a, x, b, y;};
vector<command> vec;

int main() {
	scanf("%d", &n);
	n = (n - 1) / 2;
	for (int i = 30; i >= 0; i--) {
		if (!vec.empty()) {
			vec.back().y = 1;
			idx++, vec.push_back({0, idx, idx + 1, idx, idx});
		}
		if (n >> i & 1) idx++, vec.push_back({0, idx, idx + 1, idx, idx});
	}
	vec.push_back({1, 0, 0, 127, 1});
	printf("%d\n", (int)vec.size());
	for (command i : vec)
		if (!i.type) printf("POP %d GOTO %d; PUSH %d GOTO %d\n", i.a, i.x, i.b, i.y);
		else printf("HALT; PUSH %d GOTO %d\n", i.b, i.y);
	return 0;
}