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