# isabelle_session_info

session_name: Binomial-Heaps
sources:
040280a786ff45515bea2ef9ad64e761d2d31820
1e9dd46ec93862c07bc18d1357af9f2186650fda
8237bc5dfb02f79ea261a0d43f6f97a2b579ef75
86b12e3ccdb30276260b785166ad95ca61adc709
ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d
e06a055435ec8022f1f9b84b24263a790204ad68

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


