Output the result file