# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 01d145de293104df716794cbaccadd9bcd37b9c5
input_heaps:
4ffcfcdc02ef3f1b5abbf97520a085cc79a504db
f6383c732bf7a95b23155f974528a61462f86e5a
1e4bf096015cc3df2a27246d41a2b9c01ba2d657


