# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f58e26ddc2eca82dbf028c6a31d60b4c5e739177
input_heaps:
42a32478847503f3f85ef33601da5d3576da9156
89ede7dc0b82d7f6167cc537096edf93d9e4a1bb
d4251e0921b273ac92d84bcf3cbdffa21080b451


