# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7518c9eb78e9b3b20dd89afc114bf7ef2d3a6da2
input_heaps:
a3c406ce68cf4d9866a541e48db976c61e0e5644
6f001823600a7b7a26170a48ef13bd1808146348
da7bf8a94cde15471e4f2c1b3169af97dfd20703


