# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 14562e71efdcf986b2fcc39511f1b7c51a95af3d
input_heaps:
7cc5d7b67eefb3145a6bd031e9e428122873dd58
2b38b21bb020af401d93ba78cae4d9eb8cec724a
207d1605a1bbd91db1a9bb93408f6e2accd1d0de


