# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 29dc8ecd00548fca7f0e0d0fcc28162aa8dbab0b
input_heaps:
e7fc28fdd000a6a43da8beffa0fdf0252dd408c4
481d810fe6ad6cfb0b1e2ecee5def91c00401e8b
10b1f53983b913f671d378e29eee00c45866891d


