# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


