This is the content of the input file