# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: c17584ef5c59598dd9b013a2ea066560e82a6948
input_heaps:
bcc4ecc5927ed0aaa25be4ff6aac53775f27264e
ea5f5da5cc0366d1830f1b8a4fbfdf0326e82ab8
a0bfb83e469fd2b1e750c458ebe6b7ccb05fc076


