ファイル名を a として、汎用圧縮フォーマットを何個か試したところ、
.gzの137バイトが最低でした。次が.bz2で153バイト。