@echo off
"%PROOF_GROK_EXE%" %*