Iterating over numbers in a text file