# isabelle_session_info

session_name: Optimal_BST
sources: 41f53af881357bb51237decbca0ce9e175d59f8f
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
c2db27fe1354b7ca9a99bde875fb7c5178de4542


