# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 32f00a273da2bbdd23191cc6686d802de4f043dd
input_heaps:
62858bf7fdf2d16c6c85785e129356049e07047a
91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c
5d7b722256b07a8e8d977bc488ed867d69a5a46a


