# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d96e0c14a47b039e32c35840ec3ee1e2e8780418
input_heaps:
5d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c
99522e89eae0e0595207e8a2cb989772370d8b37
c0713faca2a9928578c340f09c4ab931bc716983


