# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: aa35c2edb783770bd800e6862a2c78f4a1490457
input_heaps:
f854ea4eb03a9c8a56164c4c9f9900e0cc800a63
2dd6e587916382bba3afcf62799d4ed12fe0eb85
d3a7387cdea8a6df3a9380226cdf419ec4dc278d


