# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ee12dc301599d0a90f269f0e8d9d0502af2c3092
input_heaps:
393fae3774b4e564b1026bf200bc8a56a06c6d90
57047d6b403ca17ea2fbe0bcecbdfd87177ba07d
a0028c1fdde2e7d6d6b4e4198a327f2caed438d9


