# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 0e4f7a1c69bdf4ff4b6f1a0b4af864ff6658be52
input_heaps:
ed49615d0f34d882905c1347e93972344c93c592
18a74e1184c98f28794864630d3eda03f7ec5008
88eed078b6559f26e233d928f5bf6edc6813176b


