# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: af437ca217c44d012420e10c304c42794c8c502a
input_heaps:
b5db32649db89f76b1ce56237e676f898e9d50b5
5cc5613503d28c7360624d52aa81851a5e1c5a80
7004bce9603abfc9aa0ff6d9dffc2eb6c1f3a9da


