# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: d26c15b7b0e7d2a19a9ef5233b687b99d7624d01
input_heaps:
b1e9d096eff3e2d2097c331d061d199548b5d3ea
d6c569c3cb498e2d723179c18cc1cd66ffdd721e
12464dbea2d4876d30f3d9db41322188584c20e1


