# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3


