# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d5f7dff6348d156972fdb5adfe27dc23e392be08
input_heaps:
c5152c1238c92aaa6e4bbb00396561110d931d3c
a7e1bfad2be6b3a5081ade61eed213d1b2393434
1cacbf81b57213c6488dba3c9740b46bc5d83b88


