#include<cstdio>
#include<vector>
using namespace std;
FILE*in=fopen("lacate.in","r");
FILE*out=fopen("lacate.out","w");
int n,i,j,val;
vector<int> v[257];
int main()
{
    fscanf(in,"%d",&n);
    fprintf(out,"%d %d\n",n*(n-1)/2,n-1);
    for(i=0;i<n;i++)
    {
        for(j=n-1;j>=0;j--)
        {
            val++;
            v[i].push_back(val);
            v[j].push_back(val);
        }
    }
    for(i=0;i<n;i++)
    {
        for(j=0;j<n-1;j++)
        {
            fprintf(out,"%d ",v[i][j]);
        }
        fprintf(out,"\n");
    }
}