# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9dd931813b14052ebfac92fbdb98694db6e3c9c8
input_heaps:
670512538733605cb63d45e26f52dda04b891aaf
d1cbb794f03f6e7c97845b63a50e90ed33c8e18c
5b6b654afd139fbb13706b16b53b551e5925b3a5


