d=hash(raw_input())%635%8
i=0
a=15662003
while a:
 i+=1;p="%02d:"%i;m=a%4+28
 while d<=m:p+=" %02d"%d;d+=7
 d-=m;a/=4;print p