# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1d1c553daf453dbe39579c75d4195a72fd6b1cdb
input_heaps:
0ca5864f4aca6546754eb1e7da0e2085c3f4c937
a0786084c37e397f68aa183c1faa4d9f91f1d814
e82622688c88dbbf1f2f0869999510063177bdbe


