it's input.txt by default