# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 68ba166c7772506cddaf50f1e575b683a56cd289
input_heaps:
247ee34b70883a3fa10ad7a52a304d82cf858666
79d8a2ee73caa6ff9cf2e41500504f89e401487a
fa09468d01b8a3bbece4eda4bbcd0e29ce99f2a8


