# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9d47ea6a57fe629503a458ce25abac32ef2c2bef
input_heaps:
c64ea230285d7909ea4e291e0600b2281f3ec163
59813e7197c2ea57d24442f5882cad1d37e3a900
67324c9a4a0412be15b257722abe39b609044a04


