"input.txt" was input filename