# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7de97dbaf41799dd5119ae36530abddd89c6dc8b
input_heaps:
9cd3c53d80170445c84eedf6dd4ed5c742828d4c
1b7644e4ef7c7bda7fb3cf22b79d9258a3aaba9f
58dec5e730762ec51312822d6f89a10b71db927c


