# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1810388c2e8940934d447095d9cde81a65714ce1
input_heaps:
98b9b9cd6f4fc2e11b47e8e3c434c3dc2faa1139
e2b5f42e7f98c0b995b852b6808f2b8140132ac5
adb8aade43230a5fe138dd9ad77c8573aa37de89


