# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 64f5e6bd5cd898b53968298e0e6577b710600051
input_heaps:
f7c715a80dfc5d6a73b803bb3fc9916dd402c7cc
92fad740fd10300db52a7965165ba931d80e398a
0b0c57253f4684a6d956618ba88c6d8fe29f9214


