# isabelle_session_info

session_name: Priority_Queue_Braun
sources:
3abdf2641566e6091191ce4f5677dc0c03379986
e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a
fb5a8a18a72dc7fae95072da75a324b80b4a4a08
fb9f41bc6f2a978ebc5a88b3965ce177e952dfee

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
3e315ae02238ba29ff4dfa91456277ea298bcd5c


