# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6fd84bc2c63d7521204017b9a15273395c7dbaf4
input_heaps:
9562e4e089728e23b6fd144e8ae0b325e248d0f2
2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9d
c47160d12fd367b729f8bc4f534cee97a2d57546


