# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6a3015ca45a375cade28e97fcdf0f8c873f58fc7
input_heaps:
965db9a9fb2cc4fdb5e5b9afd24f7a9ca9aaf978
09960ff509b80e2828bc02044118a5145e571ed1
cd1bf9ccacb3269bdc70a2c0182ada25f5e957c9


