下のボタンをクリックして、ファイルを選んでください。ファイルを圧縮後、圧縮したファイルをcompressed.datというファイル名でダウンロードします。
注:ダウンロードといっても、圧縮したファイルがサーバーから送られてくるわけではありません。ローカルマシンで生成したファイルを保存するだけです。ファイルを保存する際に、ブラウザのダウンロード機能を使うので、ここではダウンロードと呼んでいます。