# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7f981c4152fe98c3f966f4b6193be4994a84d07f
input_heaps:
3edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f
9b5239179dcfac295bcf1cf11d762d8b0e6bc3e3
8adf45981a92398484a93c0a2857fbfb68bd638c


