#include <iostream>
#include <bits/stdc++.h>
#include <time.h>
#include <sys/timeb.h>
#include <cstdio>
#include <sys/time.h>

using namespace std;
#define ll long long
#define uint unsigned int
#define ulong unsigned long long int

int main(){
	
	int K;
	scanf("%d", &K);
	
	int a[32][32];
	for(int i=0;i<32;i++) for(int j=0;j<32;j++) a[i][j] = 0;
	
	for(int i=1;i<31;i++){
		for(int j=i+1;j<32;j++){
			a[i][j] = 1;
		}
	}
	
	for(int j=0;j<30;j++){
		if(((K >> j) & 1) == 1){
			a[0][30 - j] = 1;
		}
	}
	
	int N = 32;
	int M = 0;
	for(int i=0;i<N;i++) for(int j=0;j<N;j++) if(a[i][j] == 1) M++;
	printf("%d %d\n", N, M);
	for(int i=0;i<N;i++){
		for(int j=0;j<N;j++){
			if(a[i][j] == 1) printf("%d %d\n", i + 1, j + 1);
		}
	}
	
	
	
    return 0;
}