#include <stdio.h>

int main() {
    int seconds=0;
    scanf("%d",&seconds);
    printf("%d %d %d",seconds/60/60,seconds/60%60,seconds%60);
    return 0;
}