Input file:
Output file: