# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 26e0ec38892f641599ce0b0976f0e04d0ff834fa
input_heaps:
db456e2182b198adfdec654a00d5bb35f7784ab2
b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6
7aed31260afd4f11f3c0cd0d3ca4716c9193e8a0


