# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: becfc1aef425e414a574ebc448c353b0b8842439
input_heaps:
35a6500ee753652c800a7917e32731ca9b81ba08
09b9a8ab7b35d71c17424618f69192731fdaeeca
3b7e7f48025e6c48d350984b04b928e5aefe9152


