# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 8e2bb0bf4562404228b239c1753e3233b29f0b9b
input_heaps:
1770e7d42e284900cf7be1fa0dd3341bffb6e5a0
3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46
8f6743d2fb3c348329446b1477b5c5fbc84bd97f


