# isabelle_session_info

session_name: IMP2_Binary_Heap
sources: 9a1e4ae78b144ee4a2132dcf630bfd40236f7ece
input_heaps:
4e13432f40f7b1835a151e11bc124aeab3c9b529
476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682
25fb04abdcd44c35a59adf8706862d29995c2d3c


