＞216
ダウンロードしたtxtファイルの拡張子(txt)を消して、.zipファイルにしてから解凍すればpdfファイルに解凍できるよ。
とりあえず素直に書いてある内容を信じて練習してる・・・