# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 13ddfa5770d24f30a888b40e94d199f4a7e08685
input_heaps:
8e59201648d7aa8ce728c4e17f1d57ee228b2810
f7012f5768972a97f450bfd6400e324efa13b311
f3a244fedb07a7bfab1ae85a4aff4afac0a00e0b


