# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 175efc58e4268092d29e53a13390050bb2bf7e35
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
22a34f5b222afc6a5ae4cdb818a2818a87887d96


