# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 839fed9f07ca41cf42001e0bd34fd44d0b6ef99a
input_heaps:
2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3
229a1d829501cf0a740156509d19e43499ab4bef
7549138704a9c6e7ee0d92cb6d1fc33526a98509


