# isabelle_session_info

session_name: IMP2_Binary_Heap
sources: 4b7208498b04d0190377472354c03b50f75d4958
input_heaps:
eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0
584f21f404c2863325b05768822512e8f27326d9
dbba986e9582876dfa465ed2e8c7da858143ff84


