# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 41fee1e975d664e409cc8f4c2332c50de2d3a2c1
input_heaps:
f773f64b5324612793822c6b9168a199158bbc25
919d4d74d5325321cbb68f9d83a169ecec0e086e
769b19948db9a1619adec309a075d60f9c3f0fd5


