# isabelle_session_info

session_name: IMP2_Binary_Heap
sources: 8f1d3e4185ab1b3b29c56c8d08c34a62759ea5d4
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
8aa67ab1a8a0f7e930dd5ed1407a0114435c2a5c


