#include <bits/stdc++.h>
using namespace std;
const int K = 2;
long long f[200001];
long long dp[200001];
int sum[1000000];
bool sortbysec(const pair<int, int> &a, const pair<int, int> &b) {
  return (a.second < b.second);
}
int main() {
  int n;
  scanf("%d", &n);
  if (n % 2 == 0) {
    printf("%d 2\n1 2\n", (n * 2) - 2);
  } else
    printf("%d 2\n1 2\n", (n * 2) - 1);
}
