# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 79541bc4df82c94bc8c68393cc3503ddd3566c1f
input_heaps:
94b8e49d0043e944a495f19c32608cf5b0a49aab
f8d5f0cd35173d4d81fed47d6fa807912b821f31
a74d061b2da35a12b5a5c156921a60b0d8b29ec9


