#include <bits/stdc++.h>
using namespace std;
int main() {
  int po[40];
  po[0] = 1;
  for (int i = 1;; i++) {
    po[i] = po[i - 1] << 1;
    if (po[i] > 10000000) break;
  }
  int n;
  cin >> n;
  int len = log2(n) + 1;
  int se = 0, i;
  for (i = 0; i < len; i++) {
    se += po[i];
  }
  int fi = se + po[i];
  int th = 1 << len;
  printf("2 3\n");
  printf("%d %d %d\n", fi, se, se - n);
  printf("%d %d %d\n", th, fi, se);
  return 0;
}
