# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 37442499a082ca73c8d5e03e3680935263441f0f a78bb1a2d8018a625682c6a5e0249c3cd0b31533
input_heaps:
8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3
d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
d17023841adaff4d811e9eae2028ce8a032e0f52


