圧縮についてはよくわからないのですが、 出力はTXTですか？