decompress.py

import lzma, sys
D = {b"\x01": b"The Hutter Prize is a cash prize of 500,000 Euros", b"\x02": b"Marcus Hutter to encourage the development", b"\x03": b"optimal lossless compression is mathematically equivalent", b"\x04": b"eikonal_geodesic_fast_marching", b"\x05": b"Sovereign TCNAttentionSCA and G-HEX"}
def decompress(in_f, out_f):
    with open(in_f, "rb") as f: data = lzma.decompress(f.read())
    for k, v in D.items(): data = data.replace(k, v)
    with open(out_f, "wb") as f: f.write(data)
if __name__ == "__main__": decompress(sys.argv[1], sys.argv[2])