# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d5f7dff6348d156972fdb5adfe27dc23e392be08
input_heaps:
e61d7bad19c83358620faa4245e89410bb30de9a
c410e6eaade7b07b89b00f412d8d8aa51c2217ba
12edcd7650b47bddcec3a4f555e5943a5561a46c


