#include <bits/stdc++.h>

using namespace std;

#define FOR(i, a, b) for(int i = (a); i < (b); i++)
#define RFOR(i, a, b) for(int i = (a) - 1; i >= (b); i--)
#define SZ(a) int(a.size())
#define ALL(a) a.begin(), a.end()
#define PB push_back
#define MP make_pair
#define F first
#define S second

typedef long long LL;
typedef vector<int> VI;
typedef pair<int, int> PII;
typedef double db;


vector<vector<PII>> res;
int solve(vector<PII> v, int t)
{
	int cnt = 0;
	while (cnt < 1000 && !v.empty())
	{
		
		if(t == 1)
			res.PB(v);	
			
		set<PII> cand;
		FOR (i, 0, SZ(v))
		{
			FOR (dx, -1, 2)
			{
				FOR (dy, -1, 2)
					cand.insert({v[i].F + dx, v[i].S + dy});
			}
		}
		vector<PII> nv;
		for (auto p : cand)
		{
			int susids = 0;
			bool alive = false;
			FOR (i, 0, SZ(v))
			{
				if (p == v[i])
				{
					alive = 1;
					continue;
				}
				int dx = abs(p.F - v[i].F);
				int dy = abs(p.S - v[i].S);
				int mx = max(dx, dy);
				int d = dx + dy;
				if (mx < 2 && d <= 2)
					susids++;
			}
			if (susids == 3 || (susids == 2 && alive))
				nv.PB(p);
		}
		v = nv;
		cnt++;	
			
	}
	return cnt;
}

vector<PII> solution(int k)
{
	if(k <= SZ(res))
	{
		return res[SZ(res) - k];
	}
	assert(0);
}


const int N = 74;

int main()
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	vector<PII> cur = {MP(0, 2), MP(1, 0), MP(1, 2), MP(2, 1), MP(2, 2),
	MP(N + 5, N + 3), MP(N + 5, N + 4), MP(N + 6, N + 3), MP(N + 6, N + 4)};
	
	cerr << solve(cur, 1) << endl;
		
	int k;
	cin >> k;
	vector<PII> ans = solution(k);
		
	
	cout << SZ(ans) << "\n";
	FOR(i, 0, SZ(ans))
	{
		ans[i].F++;
		ans[i].S++;
		cout << ans[i].F << " " << ans[i].S << "\n";
	}
	
	assert(solve(ans, 0) == k);
	return 0;
}