#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f3f3f3f;
const int maxn = 500 + 5;
const long long mod = 1e9 + 7;
int num[3][3];
int bit(int k) {
  int cnt = 0;
  while (k) {
    k >>= 1;
    cnt++;
  }
  return max(cnt, 1);
}
int main() {
  ios::sync_with_stdio(false), cin.tie(0);
  int k;
  cin >> k;
  num[0][0] = 262143;
  num[0][1] = num[1][1] = num[2][2] = k;
  num[2][0] = num[1][0] = 1 << bit(k);
  num[2][1] = k + num[2][0];
  cout << "3 3\n";
  for (int i = 0; i < 3; i++) {
    for (int j = 0; j < 3; j++) cout << num[i][j] << " ";
    cout << '\n';
  }
  return 0;
}
