# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 38482e0e80620e95f2ca6b474084cc1cad227206
input_heaps:
a46db31bb55395b3dbdfc848f24a96e1b1255d76
d3c5454b647092bc2e8b3ae36c1c54bfb48075f5
eede66256505b154bb5667c7a9b1b77f66cffa23


