#include <bits/stdc++.h>
using namespace std;
int main() {
  int a;
  cin >> a;
  if (a == 1)
    cout << "1 1\n1";
  else {
    cout << 2 * a - 1 << " 2" << endl;
    cout << "1 2";
  }
  return 0;
}
