# isabelle_session_info

session_name: Optimal_BST
sources: cc8f435e2891d232d03e3435937c9901226af414
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
c85572b461c826eac77faf044f1cb5e3248c80c1


