for(x=3^{F:6,S:4}[readline()[m=0]];n=31-'030101001011'[m++];x-=n,print(m>9?s:0+s))for(s=m+':';x<=n;x+=7)s+=' '+(x>9?'':0)+x