#include <bits/stdc++.h>
using namespace std;
int main() {
  int k, a11 = (1 << 18) - 1, a10 = 1 << 17;
  cin >> k;
  cout << 2 << ' ' << 3 << endl
       << a11 << ' ' << a10 << ' ' << 0 << endl
       << k << ' ' << a11 << ' ' << k << endl;
}
