../src/Driver.exe -i test072.lama < test072.input