# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 64ab3cac47e6a18a700c9219b957bd4a8338fc96
input_heaps:
43c7be6fe13329de6d6a102e9f64126d9c7b89c8
894a67f4e6318269dc9aeb1a75f1b806f92e5710
964993544466de0968976d5a0bd49489f7fe16d2


