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