# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6250e044d8802e72fcd9910c4c4b82fdd04598c5
input_heaps:
0f207da8fa38a715f9e8aa8a58fd6614f1b93f2d
ab276ec74ce8749c4ecb0108f5e05afd9c485e27
92024619a50cff4b66e4a75aa8f4a00874527674


