#include <bits/stdc++.h>
using namespace std;
int inf = 0x3f3f3f3f;
long long linf = 0x3f3f3f3f3f3f3f3f;
int main() {
  int k;
  scanf("%d", &k);
  int mx = 262144;
  printf("2 3\n");
  printf("%d %d %d\n", mx - 1, (mx >> 1) - 1, 0);
  printf("%d %d %d\n", (mx >> 1), mx - 1, k);
  return 0;
}
