a sample input file