# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f0396e0ca50f9e8ef3660f6651ed4be19715afdc
input_heaps:
54c79e9de84c074157fc1ab72ed178119623db9d
1d3c498146e221cfc65a0799a6b457079cbcd5e7
da0f2329dbe0fa17b95ee54f01da614631cd5a95


