#include <bits/stdc++.h>
using namespace std;
int main() {
  long long n, w, x, y, i, j, cnt, sum = 0;
  cin >> n;
  x = (n - 1) * 2;
  if (x == 0) x = 1;
  cout << x << " " << 2 << endl;
  cout << 1 << " " << 2;
}
