# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 32ffe9cfa324a751b9081e75ab2422c6dcdb0e24
input_heaps:
0ca3541890e85917e61d4eb1b72fb2facda5c940
aab8e5e46304aa7fc190d3aff0013f892253e042
dec01be32dfee230d1c918db2a2cda0cf74a7c3c


