# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 49b917bea16a6c4b917d7d905bd989efb9da9bf8
input_heaps:
3a3f17a4e13c09032ff1d9490f442ddf7d03ef10
4c8c1f181a77f6728d263aba6fdf1897c029c916
4eda035388854967419cda8a1a97eaf85234fd1b


