# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d160d83d5eade8fda4ab33a014014f0845783458
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
b12f886aaf16e26e7bf651031cd165045de48f17


