# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: c37a52de3756a1ef582638bb7cc34e7104a3f27c
input_heaps:
95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546
d01107edcd6213a1a6600255da677abaa24a1f97
bd577af86bc3656fcd6032b9d6b75f2fe379e211


