#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  cin >> n;
  int d[10];
  d[0] = 1;
  d[1] = 5;
  d[2] = 10;
  d[3] = 25;
  d[4] = 50;
  d[5] = 100;
  d[6] = 500;
  d[7] = 1000;
  d[8] = 5000;
  d[9] = 10000;
  int a[1000009];
  a[0] = 1;
  for (int j = 0; j < 10; j++) {
    for (int i = 1; i <= 1000000; i++) {
      if (i - d[j] >= 0) {
        a[i] += a[i - d[j]];
      }
      if (a[i] == n) {
        printf("%d %d\n", i, j + 1);
        for (int k = 0; k <= j; k++) {
          printf("%d ", d[k]);
        }
        return 0;
      }
    }
  }
}
