# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7bda012b17e22c22a93d5cd33084549fa07d3982
input_heaps:
ec1fa52d7e9afb209e4092357e883ff03bdd4353
258dd0b2c6018904988ce9e16128dd8a4d0f1ba4
f9d0ba1114f660dafb175ed77792ca0a71282284


