# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9ebcf64b002cae9784e6e05958dac9d1ad5289a7
input_heaps:
a3552ca70c14a200e457e2d73beea6524b2fc2a1
164d22ba20000019059cff6c55d56e309bc197cd
8fed312933f959760eb7ac94df589a76c92343a3


