example input file