ドク「ZIPファイルが手に入ったらここで解凍できるぞ。やり方は下のプロンプトにファイル名の最初の二文字を入れるだけだ。最後にドットを付けるのを忘れるな。複数のファイルを一緒に解凍する時は文字コードにしたがって昇順で文字を入力すれば良い。ファイルを手に入れたらここで解凍して行くのも一括で解凍するのも君の自由だ。」