# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 0f2e4ee008ff6324a2b14b62ec638729424c628c
input_heaps:
f632fb1d6da65e568b647458c2425854ecfeefb4
553c29b8f85b5e7829a63b8ac86f1fd7bfc17324
6e61fb244145775d3789cc6ed38a2b8a56476289


