This is the initial state of the input file input.txt.
