# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 122f8f319d8915255835efce2f4b621f2e7c0dfb
input_heaps:
25ff2f0a6ec6649112bb7ba87e4694f74d8fcfd8
4b1bcd999efac6b00836aa12847098a98441fc74
9dc33e212c3139ae09e0fbaa3c0aeb40b1c8c18c


