# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 59eb66ff25920cfe2c6f2d09399ca587d68a1261
input_heaps:
ddf058c9f10e05f4106827b25b4f95ca1cedad49
983acd18ec90f8d3a7702fe7ef442de9eca26a93
44316508dd69975f4687fb8c48dfc328dadbddc6


