input file for the example in the description