इसका टेक्स्ट मैसेज भेजे: Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems