# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8f49edb427dffe1ad7fac70f819268243816c917
input_heaps:
af8291bc72d0c9bbf3c9bf1cd136a1b239d7b784
80b9f459bb77be29d11264f6792db6231dbbd49d
4a07257bd8081b76b2f73433a73c105823ee9a30


