# isabelle_session_info

session_name: Optimal_BST
sources: 8e8701221a11015ceaad278b090862a61a5aeea7
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
5f0dee8b07b6d50eb46302605054a90e7f907a1a


