# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 639c1f8d104ac4fca6d111a792c5c92cda65c66c
input_heaps:
91654f4d47736227ca5d0c587bac104f80bcf18b
cefe1a1c8d8ccb79dbee55a881d829917092bf29
f540041e79c24d962ca8224336b57cfa6549506b


