# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 2f3721c7326770f4f99632e6a282d010b28ce331
input_heaps:
5422efde7cb6d9163378abac38277ec5e6492f3e
c3b8cdb1a9872d53a481a837a5767dd6c1d96ab2
a74c1fcabb5e07fb825e1561a8451e1e7a3c0ba6


