#include <stdio.h>

int main() {
    long seconds;
    scanf("%d",&seconds);
    int hours,minute,sec;
    hours = seconds/60/60;
    minute = seconds/60%60;
    sec = seconds%60;
        printf("%d %d %d\n", hours,minute,sec);
    
    return 0;
}