# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 8f7a6c237e30308183f8de10800a3ffc2efed788 a78bb1a2d8018a625682c6a5e0249c3cd0b31533
input_heaps:
1d303aa48c02fbfb8fe205c90ee243804756e6a6
3e7d2e5aa099435bba6e4e30f924c9df17b4a54b
03ff92b8c32d9059671defd34f8fe20e00c31b11


