# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8a7737a2405f93c40968e579a9243e963a24f5f2
input_heaps:
4956d3a123f88ba684168ae0f47e8c5c96d9a8f0
9f33b4191f60ee90bd8923d099bfa6a3e9a7d12e
2d7e7b78e56d602ef01ef7bb686ed6f35fca8c89


