# isabelle_session_info

session_name: Binomial-Heaps
sources:
04eb82072791d00976062df95e35b81cc3afc530
060303007715e6158ba7bd9428ad9e8e7abbbaac
8237bc5dfb02f79ea261a0d43f6f97a2b579ef75
add258111776de3303489072efdb722c0a076586
ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d
f0c7a41e25c58d76af306a704e264d1fe7fef480

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


