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