#include <bits/stdc++.h>
using namespace std;
const int INF = 1e9 + 322;
const long long LINF = 2e18 + 474;
const long long MAXN = 1e5 + 228;
const long long MOD = 1e9 + 7;
const double eps = 1e-12;
int a[105];
int n, d;
void solve() {
  int A;
  cin >> A;
  cout << 2 * A - 1 << " " << 2 << endl;
  cout << 1 << " " << 2;
}
int main() {
  if (!1) {
    freopen(
        "474"
        ".in",
        "r", stdin);
    freopen(
        "474"
        ".out",
        "w", stdout);
  }
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  setlocale(LC_ALL, "Russian");
  int T = 1;
  while (T--) {
    solve();
  }
  return 0;
}
