# isabelle_session_info

session_name: Optimal_BST
sources: c6f66d4df5e962a589bebffa1000d234d18078ea
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
8c17ce455bde21f18b72b99756fe3eedb25c5fcc


