m=0;n=hash(raw_input())%13 exec'x=31-m%7%2-2*(m==1);m+=1;print"%02d:"%m," ".join("%02d"%-~d for d in range(n%7,x,7));n-=x;'*12