# isabelle_session_info

session_name: Optimal_BST
sources: 4e3ed552ec7da0db6e0306d03a91bca1e7de10c3
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
72fdae500e9c7b0242daf0d45b46d4907eb479d6


