input file for problem13