#include <bits/stdc++.h>
using namespace std;
const long long INF = 0x3f3f3f3f;
const long long LLINF = 0x3f3f3f3f3f3f3f3f;
const int MAX_N = (int)2e5 + 17;
const int MAX_M = (int)2e5 + 17;
int N, M, S, T, K, tp;
int a[MAX_N], b[MAX_N], lt[MAX_N];
int vis[MAX_N];
int main() {
  int kase = 1;
  while (~scanf("%d", &N)) {
    printf("%d 2\n1 2\n", 2 * N - 1);
  }
  return 0;
}
