# isabelle_session_info

session_name: IMP2_Binary_Heap
sources: 4892cab2e6ccf65a1268bc5ce138e01e78477c58
input_heaps:
4b079fe610649cd37f98f05ad7c20586ef43ee64
74523ca0166e9eb6415b2be2253b4d5ef2f75bfe
e931b6dff444e9a92fd6a42fd189d09e9fa79920


