#!/usr/bin/python

import sys

if len(sys.argv) < 2:
    file = sys.stdin
else:
    file = open(sys.argv[1])

tests = {}

while True:
    l = file.readline()
    if l == '':
        break

    s = l.split()
    if len(s) == 8 and s[7][-2:] == 'us':
        tests[float(s[7][:-2]) / 1000000] = s[4][1:-2]

for t in sorted(tests):
    s = int(t)
    h = s // 3600
    s -= h * 3600
    m = s // 60
    s -= m * 60
    print("%50s %02d:%02d:%02d (%f)" % (tests[t], h, m, s, t))