# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: bcbb480c1f7a4166b177f34bdc18c4e077dc7d38
input_heaps:
ae96c4661efb67fa55c859aee66272e43d21faf1
df5aaee0a1fb0d2bd927fe99191fb28d9ac1e456
e9134ef62e6b4fc889ac2fbeddfacd2ba1a26cf5


