>>742
grep でも 8秒近くかかります。ファイルを連結してから grep すると 0.2秒。
Windows の検索を使っても 5秒くらいかかってしまいます。