# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 2cef16222ec9f820ba29ad6078db1e8fb30faf2e
input_heaps:
d9b2e0d22de49dc8d1d07bea7961be77a8e56816
d3a3b5f07b3b30e7761815c70e8ff3a238d6dc0e
9c4ea49f7f945ab72b54cf4c021113de0d04793e


