# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: d26c15b7b0e7d2a19a9ef5233b687b99d7624d01
input_heaps:
4b2e4ef84f2f7c72f1d619e9e1af08455389b338
22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0
54dd2057a371824318aac9652dbe460a7ef342cb


