Problem 13 now loads its input data from an external file.