# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 20c05b8c6e06677c549dbec635474c9bcaa885ce
input_heaps:
3d9723b0e32f4dd4ca515d1d9986e3bdc7a8d762
6a991311a17f5f09eb6bc9927a7c8d56ec4ee3bf
e2dd1a28ffda83d0f35db0c8365d8f867b831789


