*.z3 *.dat *.out