# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 108e4161ce2227104605effbb1b72460b439d84a
input_heaps:
4c1c895207ab9e683ba172ce2764b942c7875d56
b18a5a4f54c33dfc5175f5d8feb995cc7463605b
942859a616244b37bd8f14fe90304db153d0be6f


