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