| 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]) | |