# isabelle_session_info

session_name: BinarySearchTree
input_heaps: c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3
sources:
6c4bbb0de5ddcef0ae5399f6fefe217a758c1d18
972a71e76429374e8f923d38c3314d7ea58b344b
c95c3542f7d09a276a7aaa667e0f6b256423db1b
eb898f687919e77e04a2e8ce0bd6df1bfd218912
f6ed8f66eb0af42e1e543b894a1ba4aedf3869cc


