# isabelle_session_info

session_name: Binomial-Queues
input_heaps: 735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
sources:
0ea5a344ff64d3f11a7bde39609f6be0f403880e
65c0f80769c300cd1a3da1c8badc964be8cc0ab9
7365a6d0da22d1676ac894f539799f1610b88c18
7bdabb0865258300c0a6596504bba56c7c7edc1d
a97085f18e83107db9e38de7f772f74f077680a6
b33b9bd2604125086f6c35dcdbedb59ed184af59
d81829d116c813f0b97f449cc1da7b8637e9a273


