自薦していいなら私も圧縮作ったけど、文字コードまわりのある仕様のためファイルサイズが1割くらいしか減らなかった… TXT出力をDAT出力に改めれば、改善できそうだけど面倒で…