# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: cc8b2d4470a8653f584fd46a4b6346477ceef0ad
input_heaps:
26147ae01ad4ddf2dc55f2d4dbbaaf16f7824ec1
1252048e236c2e2b9eff3f4d296c1d4ba90a5b58
4dd10ab233bce6e4ec5f986bea3a995fca968b05


