# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: dac7688779a4798614982753921ad412471de05e
input_heaps:
8e746ae3b5d24dcf537ea0091b8c9f94dd892450
96940058ca3bea5d50ecb9123c65c348b0504148
f2787f9d315190bda9e03ff0fb2734dde6c21720


