def format_time(ts): res = [] for each in ts: res.append(std_time.strftime("%H:%M.%S", std_time.localtime(np.asscalar(np.int32(each))))) return res