# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7856a4bc3a786ec4433fc9dd746ded97ed5cb22b
input_heaps:
6c51283dd05522a806b28d3dc91f24fbfd1e774e
f637bd9bb9fe8f2c1a8651fd48e5fb645f7ab1c0
65671910b3dd0f76a0c8376c11ef5249810450dd


