stupid utility that receives timestamped lines in any order and various formats, then outputs them reordered

reorder.py

import dateutil.parser
import re
import sys
import pytz

tz = pytz.timezone("Europe/Vienna")

res = []

for line in sys.stdin:
    tsmatch = re.search("[0-9][0-9][0-9][0-9]-[0-9][0-9]-[0-9][0-9] [0-9][0-9]:[0-9][0-9]:[0-9][0-9]", line)

    if not tsmatch:
        tsmatch = re.search("[0-9][0-9]\/[A-Za-z]+?\/[0-9][0-9][0-9][0-9]:[0-9][0-9]:[0-9][0-9]:[0-9][0-9] \+?[0-9]+", line)
        if tsmatch: 
            line = re.sub("^(.*?[0-9][0-9][0-9][0-9]):([0-9][0-9].+)", "\\1 \\2", line)
            tsmatch = re.search("[0-9][0-9]\/[A-Za-z]+?\/[0-9][0-9][0-9][0-9] [0-9][0-9]:[0-9][0-9]:[0-9][0-9] \+?[0-9]+", line)
  
    if tsmatch:
        ts = dateutil.parser.parse(tsmatch.group(0)) 
        if not ts.tzinfo:
            ts = tz.localize(ts, None)
        res.append((ts, line))

print "".join([l[1] for l in sorted(res)])