# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d3d5fd5f1f6b2c5284381aa70032ad28e0ed8c5b
input_heaps:
4604eb2567ec75c8d9622816e4c73711a6b8dd27
772366f2f051916b4acac7b2a3824bb7edbc881b
388f89e57e2a058d1d79cc516f6cbf13f8143795


