# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7c64fa41554c84b22a90bfdc393e341c34e80e98
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
d0aa179b6037a9b2b50fbfbecb20c038562b9e95


