The output file is result.txt