This is the content of input.txt
