# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: bb2f1dd6a68b6c4957d2ca21b6a90af0c23de150
input_heaps:
5904106a4d189718a398af4707433146ca1890af
45bddc69c5b5116a3b7296b1901d051f8dbd9620
008ff4cf62e90bbcba73d6d1b71624d1f7405902


