# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: d03886df3d51354649e7649a99dfcb0167893458
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
c2f3d3a5c74cf21294c7b30f2cbcbcb727ae1d0f


