# isabelle_session_info

session_name: Splay_Tree
input_heaps: 7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
2fed56e63e64893cee783edbeb3c8594b2a04eaf
34221437a109a5594ba7786476b5abb5979a2647
41d32e587e4da97ee0f959ac9fec845bedebdea3
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
7661af568cc046b290bf3d73e48e9f58adea5581
767b848e899bf51172cfcafea6b2fd397e8b0312
80eed581e9827dbf27df0eec911196b92f9e4a07
82fce86746f9061205d625fb926c1da3b71e3bc1
a6d881014016ac510413e96c94577bf126ea335f
b5fbb85a82a477e0f96254f96bf994d64f5f3ffd
bea63528c5ae9662bfe55afce882d1f0fb32c3a1
e21dbaf449637eb9161af006cbc8f4faf91e00f5


