# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: b22cf35fc790a6e2c81104910063b681e55a54e7
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
6ee511c47bdd5882a05756aed12726dd38cb9eac


