Input file (example#1)