# isabelle_session_info

session_name: Eisbach
sources: 6b98470e428d2d24edb34c31aa56fcb699d948ff
input_heaps:
4b2e4ef84f2f7c72f1d619e9e1af08455389b338
22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0
e5409b7a70c4fa63deff8bba945ddf027af994f1


