#!/usr/bin/python

# Generate with for i in *.gz; do echo -n ${i%.sql.gz}; echo -ne "\t"; gzcat "$i" | awk '/^\\./ {a=0} a == 1 {print} /^COPY machines/ {a=1}' | wc -l; done > file.txt

import sys, time

def parseTime(t):
    t = t.replace('./','')
    tn = t
    try:
        tn = time.strptime(t, '%Y-%m-%d-%H-%M')
    except:
        try:
            tn = time.strptime(t, '%Y/%m/%d.%H%M')
        except:
            print >>sys.stderr, "Can't parse time", t
    return time.strftime('%m/%d/%Y %H:%M', tn)

for line in sys.stdin:
    parts = line.split()
    print parseTime(parts[0]) + "\t" + parts[1]