# isabelle_session_info

session_name: IMP2_Binary_Heap
sources: 113e078c972ce3014b6b70ff2ee90fb921006df8
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
27638859d3581338a14773da3f5cd45c4e2a6773
7eac0de9138ed92785c39a8cc6cbadba7c2cd3b3


