./drexs drexs_input.dat
