#include <fstream>

using namespace std;

int N,a[1000];

int main()
{
    ifstream f("lacate.in");
    ofstream g("lacate.out");

    f >> N;
    int i,t;
    if (N==2) g << 1 << ' ' << 1 << endl << 1 << endl << 1;
    else
    {
        i=0;
        t=1;
        while (i<2*N) a[i]=a[i+1]=t++, i+=2;
        g << t-1 << ' ' << 2 << endl;
        for (i=0; i<N; i++)
        g << a[i] << ' ' << a[i+N] << "\n";
    }
    return 0;
}