#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  while (~scanf("%d", &n)) {
    if (n == 1) {
      puts("1 1\n1");
    } else {
      printf("%d %d\n1 2\n", (n - 1) * 2, 2);
    }
  }
  return 0;
}
