# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 977e2a418dc88da965437a973b5eba6c05da73de
input_heaps:
af1e669e0b71dd56bcba24adf3b86252347d5dfd
2069bdbc553872fd9e4a20143262cdd7b09dfec6
158088d0cc9f7464fa6de47177bed58f22ed054c


