#import<fstream>

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

int n,y,x,q,i,j;
int main()
{
    ios::sync_with_stdio(false);
    fin>>n;
    fin.close();
    x=n*(n-1)/2;
    fout<<x<<' '<<n-1<<'\n';
    for(j=1; j<3; j++)
        for(i=1; i<=x; i++)
        {
            fout<<i<<'\n';
            q++;
        }
    fout.close();
    return 0;
}