#include <bits/stdc++.h>
using namespace std;
int main() {
  int a;
  cin >> a;
  int n = 2 * (a - 1), m = 2;
  int d[2] = {1, 2};
  if (a == 1) n = m = 1;
  cout << n << " " << m << endl;
  for (int i = 0; i < m; i++) cout << d[i] << (i == m - 1 ? "\n" : " ");
}
