# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: bc3648df62736488cb1724edcda9ac8f4fae2d1f
input_heaps:
555d97234e2215e68dcfd0a908d191212ea0a6bd
2fd30c2f107bbbb7300d851cef8487427bd43e67
1e3a1c277f6dc4b33bc733f7795153d334213b19


