#include <bits/stdc++.h>
using namespace std;
const int MAX = 1e6 + 5;
int mon[10] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
int dp[MAX], n;
int main() {
  cin >> n;
  dp[0] = 1;
  int ii, jj;
  for (int i = 0; i < 2; i++)
    for (int j = mon[i]; j <= MAX - 5; j++) {
      dp[j] = dp[j - mon[i]] + dp[j];
      if (dp[j] == n) {
        ii = i;
        jj = j;
        goto END;
      }
    }
END:
  n++;
  cout << jj << " " << ii + 1 << "\n";
  for (int i = 0; i < ii + 1; i++) cout << mon[i] << (i == (ii) ? "\n" : " ");
  return 0;
}
