#include <bits/stdc++.h>
using namespace std;
int A;
void code() {
  cin >> A;
  if (A == 1)
    cout << 1 << " " << 2 << '\n' << 1 << " " << 2 << '\n';
  else
    cout << 2 * A - 2 << " " << 2 << '\n' << 1 << " " << 2 << '\n';
}
int main() {
  cin.tie(0);
  cout.tie(0);
  int t = 1;
  while (t--) {
    code();
  }
}
