# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1a456575fa75bc0eb43b0aa7332e6bf2e0b5c9e9
input_heaps:
d6896dca4550f3d580bd8085f0ec522b3c80ed4a
572a934a0a010bb60ece895ee276078cbc430847
b18b53708deb61ccaee30ecc6b69d93a320e3f40


