# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 868271a264e8fd5ad8eb4921c401dfcce1da6001
input_heaps:
51dd6ddf81f32d1521a081613e64272e00a7489b
26eb0d9d19e0107059d575886decce0ced0ef3ab
57281bd98e995c62f7f1a0a0225659cc61635bb4


