A sample input file