#include <bits/stdc++.h>
#pragma GCC optimize(2)
const double PI = acos(-1.0);
const long long INF = 0x3f3f3f3f3f3f3f3f;
const int EXP = 1e-8;
const int MAXN = 2e5 + 15;
const int N = 1e5 + 5;
const int MOD = 1e9 + 7;
const int Mod = 1e9 + 7;
const int M = 998244353;
using namespace std;
int n;
int main() {
  cin >> n;
  cout << n * 2 - 1 << ' ' << 2 << endl << 1 << ' ' << 2 << endl;
}
