#include <bits/stdc++.h>
using namespace std;
int k, a11 = 1, a1k, a01, a10, dig, t;
int main() {
  cin >> k;
  t = k;
  while (t) {
    t >>= 1;
    dig++;
    a11 += (1 << dig);
  }
  a1k = (1 << dig) + k;
  a01 = (a11 >> 1);
  a10 = (1 << dig);
  cout << "3 3" << endl;
  cout << a11 << " " << a1k << " " << a01 << "\n";
  cout << a1k << " " << a10 << " " << a11 << "\n";
  cout << a01 << " " << a11 << " " << k;
  return 0;
}
