#! /usr/bin/env micropython

import gzip
import sys


def main(fname):
    with open(fname, "rb") as f:
        with gzip.GzipFile(fileobj=f) as g:
            s = g.read()
            print(s.decode("UTF-8"), end="")


if __name__ == "__main__":
    main(sys.argv[1])