# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: adc1a2a3e88c062c7399f97941a4ca9e602f6b83
input_heaps:
b3638f229a7c654f6777ad6f1e506f774cc49604
383f910010c35948dbe0da4effdab2d1723a6fc9
61d60e84a68898efaf137c89d93476b4157c35e0


