# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 37442499a082ca73c8d5e03e3680935263441f0f a78bb1a2d8018a625682c6a5e0249c3cd0b31533
input_heaps:
0dae525efa6f84ecf34af93ff7cba31c2592ec0d
8169f475732fbdf137107131aba0d9b3f4e56903
9482c1a3f62268110341d19a2deb727175934117


