# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: fa46301a0ade001a5559f866ef599037ee104f52
input_heaps:
cce1fde58c2854731b4aaf54febb1fcb0069279e
d9560db8ba67199a6d700b6286ca3ea8de7b8982
9d69ce14018e7a184bf58e27aacbb06422aeb407


