# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 2e6fd7fc143e777069410b3c7cd9fc1ddf56aa26
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
3a6426962484a4356991a8e141ef4a1c064c9050


