# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: af99be0574d89761350aa132aafc2324d4bd19a0
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
c8715f1a10bc026f8652fa3fd5924a8c6c56b8b3


