txtだから何かの圧縮形式なんだろうけど、datじゃなくてtxtで保存する圧縮ってあったかなぁ？