# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7104bc186021d58d56f699b411e44f83a21e1326
input_heaps:
7a8e704ccea2b410d547e553bb494c61d99479c2
da57c5945db35fdf8ea8f0f69daec22595a33746
935f32e04498bcffe3748316afc56306c5f0e61f


