# isabelle_session_info

session_name: Binomial-Queues
input_heaps: 238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228
sources:
0ea5a344ff64d3f11a7bde39609f6be0f403880e
239f7769b1fc08e3444a1b7a432f0e7b2c41f934
65c0f80769c300cd1a3da1c8badc964be8cc0ab9
7365a6d0da22d1676ac894f539799f1610b88c18
7bdabb0865258300c0a6596504bba56c7c7edc1d
bc3369707d39191db75f2ac5b0dfdd45b4732e92
d81829d116c813f0b97f449cc1da7b8637e9a273


