# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ad7d1ecbafc5dff1dc4d5da6d915a7ad454cee18
input_heaps:
d2759733082b448cfff319a2231d0a2df2f8b2b0
2e8f9a63590d791f747e7d7cc375d115fd0ad5f6
2326dd3add4f289effc4d23b16b69a845fc9de3b


