#include <bits/stdc++.h>
using namespace std;
const int maxn = 1e5;
long long n, k;
int a[maxn + 5];
vector<int> q;
int main() {
  while (cin >> n) {
    cout << (2LL * (n - 1) + 1) << " " << 2 << endl;
    cout << 1 << " " << 2 << endl;
  }
  return 0;
}
