# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3ac034442a9c6173342d93f2dfa6af4ade68ad45
input_heaps:
83cc805694bc9911202d3d5491fa3857d91ca92e
1267aff52d0486a39f53972086158f862dd66e5f
ed291248647a9135d96782245656eeb9837d1192


