with output file