# isabelle_session_info

session_name: BinarySearchTree
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
6c4bbb0de5ddcef0ae5399f6fefe217a758c1d18
972a71e76429374e8f923d38c3314d7ea58b344b
c95c3542f7d09a276a7aaa667e0f6b256423db1b
eb898f687919e77e04a2e8ce0bd6df1bfd218912
f6ed8f66eb0af42e1e543b894a1ba4aedf3869cc


