# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 423109ab956c2d1dcf67541846a9af7a3715cec8
input_heaps:
4842c8e44f35b38e84e7496d28f4c0448c77e9a2
424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb
2002414ab1a8edd318a2e3deaaaf9f9cd43d6cd9


