#include <bits/stdc++.h>
using namespace std;
long long ri() {
  bool neg = 0;
  long long X = 0;
  char c;
  while (c = getchar(), (c < '0' || c > '9') && c != '-')
    ;
  if (c == '-')
    neg = 1;
  else
    X = c - 48;
  while (c = getchar(), c >= '0' && c <= '9') X = X * 10 + c - 48;
  if (neg) return (-1) * X;
  return X;
}
int main(void) {
  int a = ri();
  int n = a * 2 - 1;
  int m = 2;
  printf("%d %d\n", n, m);
  printf("1 2");
  return 0;
}
