# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 79541bc4df82c94bc8c68393cc3503ddd3566c1f
input_heaps:
f695e2210c65e40e35d958c5ecfc154ad0d6ad65
874e40ba742cf3e6e99fb67087ea49c26880e3eb
f1d69ad1dd27df52722a979a12e9a96048ec550f


