# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ca00333993023a4cbcb3327234327d2e811a90af
input_heaps:
f446f03595bcdb30e30624659ca93892e4038ac3
d314e9ddc2049cadadddb9589ed87cff70c95a7e
65ce81764eb1a495177fa47b10a44638c086e988


