# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 93a5832911c592e9b89edc1f3f0de0fb05780bbb
input_heaps:
c5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb
4a475efb7075f8100be1664cda4b4634574013fa
7613606a3e5a49a05f948dbe6afe42d67eb3554f


