# isabelle_session_info

session_name: Optimal_BST
sources: 7963eaa3af88208bd19bb6589c3c2754e3e84fff
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
e1d714440262cfdb984b3f3330e4c3900be5bb74


