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