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