# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7cdb8b48c7e167f354ddc8b2cd09a56ad2009edc
input_heaps:
d65ba42434d6727fc7f04b55804d146f30a57487
b1ed8c3121239133acb432bd76f77a58710e1512
c20e28a2918a3d85578cbcbd52d6d630b9cd7013


