# isabelle_session_info

session_name: IMP2_Binary_Heap
sources: af77cb7d1b68275f0c40ff10e6fe306155436f09
input_heaps:
1795f3a7abed9fc1d9546e3552e224994a90ba84
ec123dce693829f016aa17c5552e2b7e72eead89
a03ccecdce19f14e9ea682b009db79400347c4c2


