#include <bits/stdc++.h>
using namespace std;
const int maxn = 2e5 + 50;
const int INF = 0x3f3f3f3f;
int in[maxn];
int main() {
  int n;
  scanf("%d", &n);
  printf("%d 2\n1 2\n", 2 * n - 1);
  return 0;
}
