#include <stdio.h>
int main() {
unsigned char hours, minutes, seconds, sec_ones, sec_tens, min_ones, min_tens, hrs_ones, hrs_tens;
unsigned int secs = 12*3600 + 34*60 + 56;
hours = secs/3600.0;
minutes =(secs/60.0)-(hours*60);
seconds =secs-(hours*3600)-(minutes*60);
sec_ones =(unsigned char)((seconds%10));
sec_tens =(unsigned char)((seconds-sec_ones)%100);
min_ones =(unsigned char)(minutes%10);
min_tens =(unsigned char)((minutes-min_ones)%100);
hrs_ones =(unsigned char)(hours%10);
hrs_tens =(unsigned char)((hours-hrs_ones)%100);
printf("%u %u : %u %u : %u %u\n", hrs_tens
, hrs_ones
, min_tens
, min_ones
, sec_tens
, sec_ones
);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiAKaW50IG1haW4oKSB7CiAKdW5zaWduZWQgY2hhciBob3VycywgbWludXRlcywgc2Vjb25kcywgc2VjX29uZXMsIHNlY190ZW5zLCBtaW5fb25lcywgbWluX3RlbnMsIGhyc19vbmVzLCBocnNfdGVuczsKIAp1bnNpZ25lZCBpbnQgc2VjcyA9IDEyKjM2MDAgKyAzNCo2MCArIDU2OwogCmhvdXJzICAgPSBzZWNzLzM2MDAuMDsKbWludXRlcyA9KHNlY3MvNjAuMCktKGhvdXJzKjYwKTsKc2Vjb25kcyA9c2Vjcy0oaG91cnMqMzYwMCktKG1pbnV0ZXMqNjApOwogCnNlY19vbmVzICAgID0odW5zaWduZWQgY2hhcikoKHNlY29uZHMlMTApKTsKc2VjX3RlbnMgICAgPSh1bnNpZ25lZCBjaGFyKSgoc2Vjb25kcy1zZWNfb25lcyklMTAwKTsKbWluX29uZXMgICAgPSh1bnNpZ25lZCBjaGFyKShtaW51dGVzJTEwKTsKbWluX3RlbnMgICAgPSh1bnNpZ25lZCBjaGFyKSgobWludXRlcy1taW5fb25lcyklMTAwKTsKaHJzX29uZXMgICAgPSh1bnNpZ25lZCBjaGFyKShob3VycyUxMCk7Cmhyc190ZW5zICAgID0odW5zaWduZWQgY2hhcikoKGhvdXJzLWhyc19vbmVzKSUxMDApOwogCnByaW50ZigiJXUgJXUgOiAldSAldSA6ICV1ICV1XG4iLCBocnNfdGVucywgaHJzX29uZXMsIG1pbl90ZW5zLCBtaW5fb25lcywgc2VjX3RlbnMsIHNlY19vbmVzKTsKIApyZXR1cm4gMDsKfQ==