# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8c9366bc7bf2b2c6aca53dd319aa66e041f155a6
input_heaps:
1765a06ed7bfb95809fcd480531b6aea79d668ee
db3306e1be724f76356daf0f2b195629ce39c7d0
6e809a61af5c470727b8716c82a4d0e53bc5a889


