# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6841499da66ad2fd95d71b5837c645f743302267
input_heaps:
b98e21abac34c1a5ad8cd46d87921a4b76a51201
57989c06cd95af4e0e65ba812990155b74c440c2
3780324e4c35f21100d722152706cf9382c20fe9


