echo ValidateService>> %~dp0/../../../../../executed_proof_file