while 1:
 i=input();r=range(i);a=["1"]+["_"]*~-i*2+r
 for m in r:
	x=0
	for j in r:
	 w=0
	 while"9"<a[j-w]:w-=1
	 if w/2<x/2:x=w;y=j
	if-2>x:a[y+~x/2]=`m+2`
 print"%d:"%i," ".join(a[:i])