input file must have name input.txt