#include <stdio.h>

int main(){
    freopen ("lacate.in","r",stdin);
    freopen ("lacate.out","w",stdout);
    long N,i,j,a[256][256],q=0;
    scanf("%ld",&N);
    for (i=0;i<N;i++)
        for (j=i+1;j<N;j++)
            a[i][j]=++q;
    q=0;
    for (j=1;j<N;j++)
        for (i=j;i<N;i++)
            a[i][j]=++q;
    printf("%ld %ld\n",N*(N-1)/2,N-1);
    for (i=0;i<N;i++){
        for (j=1;j<N;j++)
            printf("%ld ",a[i][j]);
        printf("\n");
    }
return 0;
}