# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a81103f650630d24d1cd0111ad74563d232e1d6b
input_heaps:
895b1b1b83f37732e07998df22f424d780740496
2191c6665e759bb2ba1cac4f2b634abed64702be
ec0f203b41a753577990bdfdd35f3a649a1c298d


