Input file: