# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5c9da0eb726e274e77296e04e1a98905137c0379
input_heaps:
7a20346d2c9bcdb7db27edcc8f4e212d5d7547ea
c833d794d77e1e4cd4627e82381772084c282cfe
45fad39511eb84fcc2bdc9183a097dbdb3e7510b


