Example input file