#include <bits/stdc++.h>
using namespace std;
int t[1000009][11];
int main() {
  int n, i, j, x, y, ans;
  cin >> ans;
  for (i = 0; i <= 10; i++) {
    t[0][i] = 1;
  }
  for (i = 1; i < 1000009; i++) {
    for (j = 1; j <= 10; j++) {
      x = (i - j >= 0) ? t[i - j][j] : 0;
      y = (j > 1) ? t[i][j - 1] : 0;
      t[i][j] = x + y;
      if (t[i][j] == ans) {
        break;
      }
    }
    if (j < 11) break;
  }
  cout << i << " " << j << "\n";
  for (i = 1; i <= j; i++) cout << i << " ";
  return 0;
}
