#include <bits/stdc++.h>
using namespace std;
int main() {
  long long n;
  scanf("%lld", &n);
  if (n == 0) {
    puts("1 1");
    puts("66666");
  } else {
    long long t = 1;
    while (t <= n) t = t << 1;
    puts("2 3");
    printf("%lld %lld 0\n", t + n, n);
    printf("%lld %lld %lld\n", t, t + n, n);
  }
  return 0;
}
