# isabelle_session_info

session_name: Splay_Tree
sources:
17b9a1585aef604e28786415ac55e6599bc1f806
1ec24ed7caad8821d60a4f0a88422ba191654b4b
21583ac935f3a9f4f0619df85b04f1cb296c3252
2532b2a0f8c66f120dfd1518c65445a542a35a1b
2f49a5e95a6a1245cc174d0e9e127b870dba15a7
4988b824741b7915c619323c845adc22dfceae9a
56f9bbe1ae24b42b2f1cdd0f23b3815a49036796
721a733090774bdec17022ecaf0bf22241eb5aca
7661af568cc046b290bf3d73e48e9f58adea5581
8f5b3f5b4e3c51212ff2ff6ed9bb2219b268bb35
9ad49c6d7adf0a95009fbfa9172256ff4f4f641b
ed3710f39610adde0748ee8f641fbb4ecd7a1f4b
f893574e5def72295d50d1a3beb30634576a549a

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


