# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9a3807315170247703d7e1d522ccfafa800ef191
input_heaps:
144fbd49de05d756fe9e2e19f640fdb8a712f8dc
a414a4ff183b67646c55f7bc60a981cbc1fc30c5
c933e223a0efe38306dd121565056a5d0e548e51


