# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 04ef86947cbacc25716486e70908a9c395aa5117
input_heaps:
7a379be8a63e9ff923fc00e5ee19cc1ce4796282
ad96b1effe4a8a155b0f9bfbc6f5ade8324a8a86
e729901cc3b9bf4c5ddcb82ecc27a8f689aabd64


