# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a0918d7b4391abd51595e9ba4872a1b470921a73
input_heaps:
7f04395e2748c59f6729885b2c3159d0fab3f184
dd2049562f011295a8aa6e1a77427cd05cf11b85
5b3fcacee9b58f14f2b551c11c69a3d8d87793dc


