#include <bits/stdc++.h>
using namespace std;
const int M = 1e9 + 7;
int main() {
  long long int i, t, a = 0, k, b = 0, j = 0, l = 0, n, m, r = 0, c = 0, ct = 0,
                      pos = 0, neg = 0, flag = 0, x, y, space, maxi,
                      ans = 999999, ans2 = -100, avg, sum = 0;
  double d;
  long long int ar1[100005] = {0}, ar2[100005] = {0};
  ios_base::sync_with_stdio(0);
  cin.tie(NULL);
  cout.tie(NULL);
  long long int ch, temp = 0;
  vector<long long int> v;
  string st, st2, st3;
  stack<char> s;
  vector<pair<string, string> > vp;
  queue<pair<long long int, long long int> > q;
  cin >> n;
  cout << 2 * n - 1 << " " << 2 << endl << 1 << " " << 2;
  return 0;
}
