# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ddd6b7d2b9d51270dfe855d90f1740312c049f77
input_heaps:
b121211610e458dc97d612673bcd7347cff880b9
1a49b8a85ced53b842cab647e6c466047ce342b2
74506ff11127f6e63ad0fcd488e6050e75623f8f


