# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 0d09a8c5969208ab8f00bf93b9309576edae41a6
input_heaps:
3427243aba6cf13954f2663e89dd0ef448f9e0ac
8098a84a13d7e74c846fd42de0efb751dc599e66
3690d618fe05202da91e961e9fe99992008d6a99


