# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a181d8ae8f238d797e16ce2d1acac7f2ab23171c
input_heaps:
47fc8421a194889d814b2263065ab8e04edfa5ae
17dbb756907857c7d44e7b32d4d1f9a0c868c32a
d4510be020776ae5d21ce266daaa96b459ca3179


