outputfile_Mach_done