# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 211e1c0d6a5165bf60a4c6d15d5150c0b8085f75
input_heaps:
d7bbd02684baf956e1423f3454e2d869c3eb5036
9c726adfe089422a375fb3d23090f34ec1598542
53c292b6d317cfc341a502f94ef7b37d79102899


