# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9d47ea6a57fe629503a458ce25abac32ef2c2bef
input_heaps:
1c6f2074cd6cdf579a3d3ee0e0c3866542d97adf
dc5a1495e230b9fed28df216f9bc9b8936ded4f2
7849a8f49c2027b279d0116f3d8acfbce1fc8369


