#include <bits/stdc++.h>

#define debug(...) fprintf(stderr, __VA_ARGS__)

#ifndef AT_HOME
#define getchar() IO::myGetchar()
#define putchar(x) IO::myPutchar(x)
#endif

namespace IO {
	static const int IN_BUF = 1 << 23, OUT_BUF = 1 << 23;

	inline char myGetchar() {
		static char buf[IN_BUF], *ps = buf, *pt = buf;
		if (ps == pt) {
			ps = buf, pt = buf + fread(buf, 1, IN_BUF, stdin);
		}
		return ps == pt ? EOF : *ps++;
	}

	template<typename T>
	inline bool read(T &x) {
		bool op = 0;
		char ch = getchar();
		x = 0;
		for (; !isdigit(ch) && ch != EOF; ch = getchar()) {
			op ^= (ch == '-');
		}
		if (ch == EOF) {
			return false;
		}
		for (; isdigit(ch); ch = getchar()) {
			x = x * 10 + (ch ^ '0');
		}
		if (op) {
			x = -x;
		}
		return true;
	}

	inline int readStr(char *s) {
		int n = 0;
		char ch = getchar();
		for (; isspace(ch) && ch != EOF; ch = getchar())
			;
		for (; !isspace(ch) && ch != EOF; ch = getchar()) {
			s[n++] = ch;
		}
		s[n] = '\0';
		return n;
	}

	inline void myPutchar(char x) {
		static char pbuf[OUT_BUF], *pp = pbuf;
		struct _flusher {
			~_flusher() {
				fwrite(pbuf, 1, pp - pbuf, stdout);
			}
		};
		static _flusher outputFlusher;
		if (pp == pbuf + OUT_BUF) {
			fwrite(pbuf, 1, OUT_BUF, stdout);
			pp = pbuf;
		}
		*pp++ = x;
	}

	template<typename T>
	inline void print_(T x) {
		if (x == 0) {
			putchar('0');
			return;
		}
		static int num[40];
		if (x < 0) {
			putchar('-');
			x = -x;
		}
		for (*num = 0; x; x /= 10) {
			num[++*num] = x % 10;
		}
		while (*num){
			putchar(num[*num] ^ '0');
			--*num;
		}
	}

	template<typename T>
	inline void print(T x, char ch = '\n') {
		print_(x);
		putchar(ch);
	}

	inline void printStr_(const char *s, int n = -1) {
		if (n == -1) {
			n = strlen(s);
		}
		for (int i = 0; i < n; ++i) {
			putchar(s[i]);
		}
	}

	inline void printStr(const char *s, int n = -1, char ch = '\n') {
		printStr_(s, n);
		putchar(ch);
	}
}
using namespace IO;

const int N = 8;

int n;
char a[1 << N | 5];

std::vector<std::pair<int, int>> get(int S, int lst) {
	int k = 0;
	while (!(S >> k & 1)) {
		++k;
	}
	std::vector<std::pair<int, int>> res;
	if (S == (1 << k)) {
		for (int i = lst; i < k; ++i) {
			res.push_back({i, 1});
		}
		res.push_back({k, 1});
		res.push_back({k, 0});
		for (int i = k - 1; i >= lst; --i) {
			res.push_back({i, 1});
		}
		return res;
	}
	std::vector<std::pair<int, int>> t = get(S ^ (1 << k), k + 1);
	for (int i = lst; i < k; ++i) {
		res.push_back({i, 1});
	}
	res.push_back({k, 1});
	for (auto i : t) {
		res.push_back(i);
	}
	res.push_back({k, 1});
	res.push_back({k, 0});
	std::reverse(t.begin(), t.end());
	for (auto i : t) {
		res.push_back(i);
	}
	res.push_back({k, 0});
	for (int i = k - 1; i >= lst; --i) {
		res.push_back({i, 1});
	}
	return res;
}

void solve() {
	read(n);
	readStr(a);
	for (int i = 1; i < (1 << n); ++i) {
		if (a[i] == '1') {
			for (int j = i; j; j = (j - 1) & i) {
				if (a[j] == '0') {
					printStr("Impossible");
					return;
				}
			}
		}
	}
	std::vector<std::pair<int, int>> res;
	for (int i = 1; i < (1 << n); ++i) {
		if (a[i] == '0') {
			bool flag = 1;
			for (int j = i; j; j = (j - 1) & i) {
				if (i != j && a[j] == '0') {
					flag = 0;
					break;
				}
			}
			if (!flag) {
				continue;
			}
			std::vector<std::pair<int, int>> t(get(i, 0));
			for (auto v : t) {
				res.push_back(v);
			}
		}
	}
	int x = 0, y = 0;
	std::vector<std::pair<int, int>> ans(1, {0, 0});
	for (auto v : res) {
		if (y != v.second) {
			y = v.second;
			ans.push_back({x, y});
		}
		if (x == v.first) {
			++x;
		} else {
			--x;
		}
		ans.push_back({x, y});
	}
	if (y) {
		y = 0;
		ans.push_back({x, y});
	}
	printStr("Possible");
	print((int)ans.size() - 1);
	for (auto v : ans) {
		print(v.first, ' '), print(v.second);
	}
}

int main() {
	int T = 1;
	// read(T);
	while (T--) {
		solve();
	}
}


Measured memory_bytes: 3828