# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: bc6e1ff7aae8f0e74dedeadc52bb3e5b596238f7
input_heaps:
0368d846b91517e6bfc74b22aa4589a14a64f868
42798967e97a29eaa625d2ed2073e7fc3fcc184c
3e3a132b2aebc2ece08b4e109e9d7808b6cb51b1


