#include <bits/stdc++.h>
long long read() {
  long long x = 0, f = 1;
  char ch = getchar();
  while (ch < '0' || ch > '9') {
    if (ch == '-') f = -1;
    ch = getchar();
  }
  while (ch >= '0' && ch <= '9') {
    x = x * 10 + ch - '0';
    ch = getchar();
  }
  return x * f;
}
using namespace std;
const int mod = 998244353;
const int mxn = 2e3 + 7;
const int inf = 1e9;
long long _, n, m, t, k, u, w, ans, ok, lim, len, tmp, last, nx;
int main() {
  int n;
  scanf("%d", &n);
  printf("%d 2\n 1 2", 2 * n - 1);
  return 0;
}
