#include<stdio.h>
int main(){
    unsigned int seconds;
    scanf("%u",&seconds);
    int hours,min,sec;
    hours=(seconds/60)/60;
    min=(seconds%3600)/60;
    sec=(seconds%3600)%60;
    printf("%d %d %d",hours,min,sec);
    return 0;
}