# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b1c96d12e06abf06ced526d5ef5a3b92e9af44c2
input_heaps:
3ea58d54a136a485954265ca6aee1aca00e66e9c
a213deeff6e0f4dff740f020010b2ce9d72c57bc
376beb366d9ebbbc32b18313c4eff725f388d1e8


