#include <bits/stdc++.h>
using namespace std;
template <typename T1, typename T2>
bool Max(T1& a, T2 b) {
  return a < b ? a = b, 1 : 0;
}
template <typename T1, typename T2>
bool Min(T1& a, T2 b) {
  return a > b ? a = b, 1 : 0;
}
const int N = 3000001, inf = 1e9;
int cnt[128];
void solve() {
  int n;
  cin >> n;
  cout << (n * 2 - 1) << ' ' << 2 << '\n';
  cout << 1 << ' ' << 2 << '\n';
}
void init() {}
void gen() {}
int main(int argc, char** argv) {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.setf(ios::fixed);
  cout.precision(20);
  if (argc > 1 && strcmp(argv[1], "gen") == 0) {
    gen();
    return 0;
  }
  init();
  int TC = 1;
  for (int TI = 1; TI <= (TC); ++TI) {
    solve();
  }
  return 0;
}
