# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f1a14329c55e86c6d63e12b832933bbc529d4c6d
input_heaps:
ba9703b8d89941ffe014c15e6ddc671ed32d9999
100b23f10739ac1b172eccb60c813bc22e9bd494
4e5037b710f0a7d9756e5fb9a486d68c3c7fda8a


