# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3058044bc6d27a1b03bda9f201e0532d952af528
input_heaps:
6a0262e54d292d7ccc0eaa27252a3e70aa6b574d
0b0e30dcc9976635e2910689b3c3e0d8c0a8d955
2c0088dd2993bdfad9c610616d76402163788ccc


