import re, sys, gzip

data = b""
for line in sys.stdin:
	m = re.match("^[a-f0-9]{8}: ((?:[a-f0-9 ]{2} ){16}) .+$", line.strip())
	data += bytes.fromhex(m.group(1).replace(" ", ""))

print(gzip.decompress(data).decode())