#include <bits/stdc++.h>
using namespace std;
long long arr[100100], brr[100100];
int main() {
  unordered_map<int, int> mp;
  long long cnt = 1;
  for (int i = 1; i < 200500; i++) {
    mp[i] = cnt;
    cnt += 2;
  }
  long long t, k, n, m, p, q, r, s;
  while (cin >> n) {
    cout << mp[n] << " " << 2 << '\n' << 1 << " " << 2 << endl;
  }
  return 0;
}
