# isabelle_session_info

session_name: Priority_Queue_Braun
sources:
3abdf2641566e6091191ce4f5677dc0c03379986
e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a
fb5a8a18a72dc7fae95072da75a324b80b4a4a08
fb9f41bc6f2a978ebc5a88b3965ce177e952dfee

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a


