# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 26c91a7615ca5b22b2f42f0c286789db588d6017
input_heaps:
e0ff5bd6c0d373abad1c2b01c8cc9f4f059ca57e
e0b4ef556b392ea7ef408585b4aaeb86030f1fb5
21fe7d367647e0caadee0f2299948b7332f1b933


