# isabelle_session_info

session_name: Optimal_BST
sources: f860b2f9e61e29a171f38a6fe9574777cdcf1cfc
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
cdaa6388e5ab80d232322cf92d4d3103c875a0a2


