#include <bits/stdc++.h>
using namespace std;
const int MAXN = 1e6 + 100;
const int INF = 0x3f3f3f3f;
const double eps = 1e-6;
const double pi = acos(-1.0);
int a[MAXN];
int main() {
  ios::sync_with_stdio(false);
  int n;
  cin >> n;
  cout << 2 * n - 1 << ' ' << 2 << endl;
  cout << 1 << ' ' << 2 << endl;
  return 0;
}
