#include <bits/stdc++.h>
using namespace std;
long long dp[100005], n, arr[100005], N;
int main() {
  ios_base::sync_with_stdio(false);
  int t;
  t = 1;
  while (t--) {
    long long i, j, w, h, count = 0, sum = 0, total = 0, k, T, breaks = 0, m;
    string s;
    cin >> n;
    if (n == 1) {
      cout << 1 << " " << 2 << endl;
      cout << 1 << " " << 2;
      return 0;
    }
    cout << n * 2 - 2 << " " << 2 << endl;
    cout << 1 << " " << 2;
  }
}
