hacks/dcp_time_to_tc

   1 #!/usr/bin/python3
   2
   3 import sys
   4
   5 TICKS = 96000
   6
   7 in_time = int(sys.stdin.readline())
   8 h = in_time // (TICKS * 60 * 60)
   9 in_time -= h * (TICKS * 60 * 60)
  10 m = in_time // (TICKS * 60)
  11 in_time -= m * (TICKS * 60)
  12 s = in_time // TICKS
  13 in_time -= s * TICKS
  14
  15 print('%02d:%02d:%02d' % (h, m, s))