# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 44b31144090e9f34289719f199da65ad3b226378
input_heaps:
d9ca9725dd7d36bf78afe35e40b7d2137df0f7c7
2d7fc4c8c99ec0195cfe8a002fcff890125c4fc2
0701b23f35aa5cd520b31c208aa770377a28605a


