#include <bits/stdc++.h>
using namespace std;
long long gcd(long long a, long long b) {
  if (b == 0) return a;
  return gcd(b, a % b);
}
struct cmp {
  bool operator()(const pair<long long, long long> &a,
                  const pair<long long, long long> &b) const {
    long long lena = a.second - a.first + 1;
    long long lenb = b.second - b.first + 1;
    if (lena == lenb) return a.first < b.first;
    return lena > lenb;
  }
};
long long mod = 1000000007;
void solve() {
  long long a;
  cin >> a;
  long long n = 2 * a - 1;
  cout << n << " " << 2 << "\n";
  cout << 1 << " " << 2 << "\n";
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  cout.tie(NULL);
  solve();
  return 0;
}
