# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 4392a139e68fbfb2c892a745cb77cdfaa31f0e22
input_heaps:
949c598a2bd1e6db44f140e6fcae9e1de0a86ad6
107df69c9cf9c75c7702af58ee7b77c30164c5b9
ffbd18d2fd74da99e88a2d910b7457bfaf2d6046


