# isabelle_session_info

session_name: Binomial-Queues
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
0ea5a344ff64d3f11a7bde39609f6be0f403880e
65c0f80769c300cd1a3da1c8badc964be8cc0ab9
7365a6d0da22d1676ac894f539799f1610b88c18
a97085f18e83107db9e38de7f772f74f077680a6
b33b9bd2604125086f6c35dcdbedb59ed184af59
ce91a2d5913aebbee2738dce6eaa99af2e41f246
d81829d116c813f0b97f449cc1da7b8637e9a273


