# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d160d83d5eade8fda4ab33a014014f0845783458
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
aba78d33bfc5a996ba90892c61ed35483540b5e3


