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