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