# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b0648a55033bb8854598b778b03634d47d4afd3d
input_heaps:
2a371cb6b3dbb4eb2d82cd405b999bd0c7e27ba3
38b7c607f9dfbe9734f68444cfe618ac34343313
5189dc19c88f303ec73df6f46f879cccab12e101


