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