# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: fb0788c507628d6f8a7a1013bb3bfd3ccc877647
input_heaps:
1b9d791c9837b33e4a03e5886fe2246de351b574
478d747829b3e0420f00bb750e519db44f764c62
bd7212ef920c7464064a298cdd5d106470e65afd


