# isabelle_session_info

session_name: Priority_Queue_Braun
sources:
3abdf2641566e6091191ce4f5677dc0c03379986
e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a
fb5a8a18a72dc7fae95072da75a324b80b4a4a08
fb9f41bc6f2a978ebc5a88b3965ce177e952dfee

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b


