# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 88216ead4afcdbea7ad5808a08d4d00ff7953a03
input_heaps:
41f17979ce98542c0541e9d469ab76fea38a3827
fe08b72d7ebf651118052c08d58fcecf57acb8b5
7942139610f51e64fd495eb12617ae66df8f036f


