# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5556c4716bb0d0814b215311ec1c78309099b8db
input_heaps:
971b735bb93991ebc30ab05e1c5d2490d534dd41
5e6da02360216761c8e3eeec3df5cdc5e01ade87
58b80ecb6c353a26488ef5b51bc685ecdd30a48d


