#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f3f3f3f;
const long long inf = 0x3f3f3f3f3f3f3f3f;
const int maxn = 1005;
int main() {
  int N;
  cin >> N;
  cout << 2 * N - 1 << " " << 2 << endl;
  cout << 1 << " " << 2 << endl;
  return 0;
}
