# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d6bb9d435b629b1ecaf1e1f9c1c79e0b63a9ab2f
input_heaps:
e47e82ff6a77ecdbb1e7af128c99e9f405606a5a
285b28884f06fd2844d6910e277df4947a17f048
7758aeff244124dc0ab215e539f48bd2684154af


