# isabelle_session_info

session_name: BinarySearchTree
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
972a71e76429374e8f923d38c3314d7ea58b344b
c95c3542f7d09a276a7aaa667e0f6b256423db1b
d3fc45acece4287a261a54eb3640b089148958c4
eb898f687919e77e04a2e8ce0bd6df1bfd218912
f6ed8f66eb0af42e1e543b894a1ba4aedf3869cc


