m;n;main(i){for(i=getchar()%19%8;m=""[n];i-=m)for(printf("\n%02d:"+!n++,n+1);m/i;i+=7)printf(" %02d",i);}