#include <bits/stdc++.h>
using namespace std;
int main() {
  int a;
  cin >> a;
  int i = 1;
  while (true) {
    int cnt = i / 2 + 1;
    if (cnt == a) {
      break;
    }
    ++i;
  }
  cout << i << ' ' << 2 << endl;
  cout << "1 2\n";
  return 0;
}
