# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 639c1f8d104ac4fca6d111a792c5c92cda65c66c
input_heaps:
71694b1f2d25d2d9aeaca0f1ab390c835916ace2
24112e61b571a2bcd40de8683c354fe7120c1068
b484cf15fd1952338f146508d8136238020f568a


