# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: eb36d86d056c4a18dcde349f5440a65dfd7383c0
input_heaps:
171f1401f05a7647b01cb7cdef953bd877fc895c
92d83a3f9935544ccc941b486a98a794a1901ee6
1828becfa00ba9bbda5f169563d6acdc0fd32ded


