# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5c9da0eb726e274e77296e04e1a98905137c0379
input_heaps:
78a3df3deb9d45514fea086c8beb2a7c1a1ba790
049b979b2a06b0d5c1c847e5ecbd9c6d211697f3
80f202e1425badb14679455599e135eaeb5225e9


