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