# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 38412da02a13e1de89633bcf2e6d1360ea23bcd0
input_heaps:
eb8afa5f3e15914627405f139746db5363a9c9cd
f9d10642c34cf1b033c11c0e6a9a4a5dd6b1321e
9c1bf35bfe8266b43c73590b949dc1d4889c6878


