# isabelle_session_info

session_name: Randomised_BSTs
sources: 5c42093cc1835fed4f3c0952fcfcdcc84fe6b059
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
2abd28a29f7e1a08ce09ecc87dc8462d66e1909f
09207677660f2e5e303e5bdcb82eadbbb4d07d0b
e78189019c598333c4a3bbe662dfc707af574238
8d39187e0d53a5f25a00e330372206fdb1d5cfa9


