# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8827275884b976c8676c3f92865629d4573b11b4
input_heaps:
f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e
3b15936e361c4485de36e5ecf4f1f2e8f445e71b
90aad3e1642cbb871b464abca0875ceb1b422f0f


