#include <bits/stdc++.h>
#pragma GCC optimize ("O3")

using namespace std;

ifstream fin  ("lacate.in");
ofstream fout ("lacate.out");

int n;

int main (){
    ios_base::sync_with_stdio(false);
    fin.tie(nullptr), fout.tie(nullptr);

    fin>>n;
    fout<<n<<" "<<2<<"\n";
    for(int i=1; i<=n; i++)
        fout<<i<<"\n";
    return 0;
}
/**

**/