#include<stdio.h>

void run(void){
  int k;
  scanf("%d",&k);
  int f[1024];
  int t[1024];
  int len=0;
  int i,j;
  for(i=1;i<=31;i++){
    for(j=i+1;j<=31;j++){
      f[len]=i;
      t[len]=j;
      len++;
    }
  }
  for(i=0;i<30;i++){
    if((k>>i)&1){
      f[len]=2+i;
      t[len]=32;
      len++;
    }
  }
  printf("32 %d\n",len);
  for(i=0;i<len;i++){
    printf("%d %d\n",f[i],t[i]);
  }
}

int main(void){
  run();
  return 0;
}