Now we can read the input file