#include <bits/stdc++.h>
using namespace std;
template <typename T, typename L>
inline bool smax(T &x, L y) {
  return x < y ? (x = y, true) : false;
}
template <typename T, typename L>
inline bool smin(T &x, L y) {
  return y < x ? (x = y, true) : false;
}
constexpr int MAXN = 1e6 + 15;
const int MAXM = 10;
int dp[MAXN];
int a[MAXM];
int n;
int main() {
  cin >> n;
  long long s = 2 * n - 1;
  return cout << s << " 2\n1 2\n", false;
}
