i=0,j;main(n){for(scanf("%d",&n);++i<=n;putchar(10))for(printf("%d:",i),j=0;++j<=i;)i%j==0&&printf("%d",j)&&i-j&&putchar(32);}