# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9eae329c8bf10a63e761af03ce7fa9b85eed5a63
input_heaps:
bd696809c70613acb70cb901c2e1e6285632648f
609f44c41d03923b1784e4fe74802b6652832cec
d329c20e3272f8b98099ad46baac1b91edf0f6b4


