# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3737063340292ffcc2536976ae6c4c0733f9c7b0
input_heaps:
c8b758c55bf2cb56ac81c62d74f7a65f594ebbff
4e355dbf04f38016bfcddf244a1ff37122307044
846539ba050f4e14249c485f94f7e27a6b5f76cf


