# isabelle_session_info

session_name: IMP2_Binary_Heap
sources: 291235324d45b24b0e383923976ab124e579c54c
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
6b6c17f8e791579111ee5fc02c0bb5369e26fed2


