IR-SM Design and Formalization

This document is encrypted

Decrypting…