# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b1312fc54f1884d1bad1d15740b4c2320a28ea99
input_heaps:
fa95ed0464f30ce78a23f18378a450505aac44e2
33766297751265f96298d96dfa2ce2f96fd564b0
e80f36910dacbad39f860ca23edede1bb7d89027


