# isabelle_session_info

session_name: Priority_Queue_Braun
sources:
3abdf2641566e6091191ce4f5677dc0c03379986
e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a
fb5a8a18a72dc7fae95072da75a324b80b4a4a08
fb9f41bc6f2a978ebc5a88b3965ce177e952dfee

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c


