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