# isabelle_session_info

session_name: Randomised_BSTs
sources: e8f3aaa463cd4b4af70fb41dd159c0c7b6a6132a
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
82553a243b75b17982a7629e2aa4ca5b186893ad
00b992d0e0c39aa21806fe7efea97eb726df8dc5
f1ae138317516eb59c48b2a3263cfb469fadbace
95ef072cb25fb07360be0121caff789bc7af53fa


