w;main(d){for(d=6&2-getchar();printf("\n%02d: %2$02d"+(d<7?!w++-w/12:6),w+1,d+1);d%=30+w/8^w&2/w+1)d+=7;}