# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 20ca49c9c5649107fb1bddff88de6cf537ab1b89
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
c5df788aa86193a82390253d5b4b1a4d385ce3c2


