#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);
}
long long lcm(long long a, long long b) { return ((a * b) / gcd(a, b)); }
int main() {
  long long x;
  cin >> x;
  long long arr[1000001];
  for (long long i = 1; i <= 1000000; i++) {
    long long n = i;
    long long count = 0;
    count += (n / 5);
    count += (1);
    arr[i] = count;
  }
  for (long long i = 1; i < 1000001; i++) {
    if (arr[i] == x) {
      cout << i << " " << 2 << endl;
      cout << "1 "
           << "5 " << endl;
      return 0;
    }
  }
  return 0;
}
