This is the input file.
