# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1a456575fa75bc0eb43b0aa7332e6bf2e0b5c9e9
input_heaps:
3a09df081446ee0ffc18a782a60162435ff26569
f98620677fe586b256f76996ab9fb926732156c9
7394b3dfd0d1327f9790fb3a77bd234b824c6a9b


