main(i,j,k){scanf("%d",&i);for(j=0;j<i;puts("")){printf("%d:1",++j);for(k=1;k<j;j%++k?:printf(" %d",k));}}