c=hash(input())%13
m=1
for x in b"":print('%02d:'%m,*['%02d'%-~d for d in range(c%7,x,7)]);c-=x;m+=1